Blog Archives

Topic Archive: U Penn

CUNY Logic WorkshopFriday, May 3, 20132:00 pmGC 6417

Henry Towsner

Models of Reverse Mathematics

University of Pennsylvania

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.