Bounded Second-Order Arithmetic I

Models of PAWednesday, December 3, 20144:50 pmGC 6300

Shlomo Ben-Har

Bounded Second-Order Arithmetic I


We will discuss axiom systems for weak second order arithmetic. In the study of bounded arithmetic, the base theory is called V^0; we will discuss coding and counting in V^0 and in an extension of it. We will give at least one example of a sentence that is not provable in V^0 but is provable in the extension.

Posted by on November 26th, 2014