Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

14 October 2014, Logic Tea, Benno van den Berg

Speaker: Benno van den Berg
Title: How constructive is nonstandard arithmetic?
Date: Tuesday 14 October 2014
Time: 17:00-18:00
Location: Room F1.15, Science Park 107, Amsterdam

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 http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (), Johannes Marti (), Masa Mocnik () or Julian Schloder ().

Please note that this newsitem has been archived, and may contain outdated information or links.