Louise Hay Logic Seminar
Tori Noquez
UIC
Weak Theories of Nonstandard Arithmetic and Analysis
Abstract: We will use a forcing argument to show that certain statements provable in a nonstandard extension of primitive recursive arithmetic are also provable in primitive recursive arithmetic.
Thursday September 29, 2011 at 3:00 PM in SEO 1227