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 |
|---|---|---|---|---|---|---|
→ go to the Calendar
Upcoming talks and events:
Equivalence relations in models of Peano arithmetic
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.
Higher-order Reverse Mathematics: Where existence meets computation via infinitesimals.
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.