Welcome to New York Logic!
|Dec 9 Monday||Dec 10 Tuesday||Dec 11 Wednesday||Dec 12 Thursday||Dec 13 Friday||Dec 14 Saturday||Dec 15 Sunday|
Dec 9, 20132:00 pm
Dec 11, 20136:30 pm
Dec 13, 201310:00 am
→ go to the Calendar
Upcoming talks and events:
The talk will be about the correspondence between definable equivalence relations on countable recursively saturated models of PA and the closed normal subgroups of their automorphism groups.
Classically, the existence of an object tells us very little about how to construct said object.
We consider a nonstandard version of Ulrich Kohlenbach’s higher-order Reverse Mathematics
in which there is a very elegant and direct correspondence between, on one hand, the existence
of a functional computing an object and, on the other hand, the classical existence of this object
with the same standard and nonstandard properties. We discuss how these results -potentially-
contribute to the programs of finitistic and predicativist mathematics.