Seminario: “Systems for constructive reverse mathematics”

Martedì 12 Febbraio 2019, ore 16:30 - Aula 2AB40 - Takako Nemoto


Martedì 12 Febbraio 2019 alle ore 16:30 in Aula 2AB40, Takako Nemoto (JAIST, Japan) terrà un seminario dal titolo: “Systems for constructive reverse mathematics”.

In classical reverse mathematics, systems of second order arithmetic, which treat natural numbers and sets of natural numbers, are widely used. On the other hand, in the constructive reverse mathematics, most of the systems are function based systems, which treat natural numbers and functions on them and there are many variants.