Tori Noquez : Weak Theories of Nonstandard Arithmetic and Analysis

Posted by , part of the Louise Hay Logic Seminar.

At

Sept. 29, 2011, 3 p.m.

In

SEO 1227

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.