Archives

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.