Recent and upcoming talks by Merlin Carl

The Role of the Higher Infinite in Mathematics and Other Disciplines, December 14-18 2015

Workshop Theme The objective of the programme Mathematical, Foundational and Computational Aspects of the Higher Infinite is to stimulate the exchange of ideas among researchers pursuing different approaches to infinity: mathematical, foundational, and computational. continue reading…

Hamburg Set Theory Workshop, February 10, 2014

The Hamburg Set Theory Workshop 2014 is part of the ML Colloquium of the Arbeitsbereich Mathematische Logik und interdisziplinäre Anwendungen der Logik. Everyone is cordially invited to attend. There will be an informal lunch in the student restaurant (Mensa) and an informal dinner. continue reading…

INFTY Final Conference, March 4-7 2014

The INFTY Final Conference marks the conclusion of the European Science Foundation Research Networking Programme INFTY – New frontiers of infinity: mathematical, philosophical, and computational prospects. The INFTY network is devoted to the study of a wide range of aspects of Infinity. continue reading…

Merlin Carl: The distribution of ITRM-recognizable reals

Monday, June 10, 2013, 16.30 Seminar room 1.008, Mathematical Institute, University of Bonn Speaker: Merlin Carl (Universität Konstanz) Title: The distribution of ITRM-recognizable reals continue reading…

Merlin Carl: Real Closed Exponential Fields and Models of Peano Arithmetic

Monday, June 25, 2012, 16.30-18.00 Romm 1.007, Mathematical Institute, University of Bonn Speaker: Merlin Carl (University of Konstanz) Title: Real Closed Exponential Fields and Models of Peano Arithmetic Abstract: A real closed field (RCF) is a first-order structure which is elementary equivalent to the real numbers. continue reading…