Friday, May 3, 20132:00 pmCUNY Logic WorkshopGC 6417

Models of Reverse Mathematics

Henry Towsner

University of Pennsylvania

Henry Towsner

We discuss two results relating ideas in Reverse Mathematics to the properties of models of first order arithmetic. The first shows that we can extend second order arithmetic by the existence of a non-principal ultrafilter — a third order property — while remaining conservative. The second result shows that we can extend models of RCA so that any particular set is definable; this allows us to recover some properties of models of Peano arithmetic for models of RCA.