14 October 2014, Logic Tea, Benno van den Berg

Abstract

The existence of nonstandard models of arithmetic is a basic fact of logic. However, all proofs of this fact are non-constructive: none provides a completely explicit and effective way of constructing a nonstandard model. In my talk I will discuss the following questions: Are there constructive proofs of the existence of nonstandard models? And, if not, can one make sense of nonstandard arithmetic in a way which is constructively acceptable?

For more information, please visit the website https://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).