University Seminar: Logic Across Disciplines-Can you always raise a natural number to a power? (Part 2)

Title: Can you always raise a natural number to a power? (Part 2)
Speaker:  Keshav Srinivasan, GWU
Date and Time:  Friday, September 13, 11:00AM-12:00PM
Place: Phillips Hall (801 22nd Street), Room 736

Abstract:  We will continue our discussion of predicativity, the notion that we can only define new mathematical objects in terms of existing mathematical objects.  We will walk through the proofs of results by John Burgess and Allen Hazen, concerning how much of natural number arithmetic can be recovered in predicative second-order logic. In the final part of the talk, we will discuss potential avenues for future research extending Burgess’ and Hazen's work.