Recent and upcoming talks by Alexander Kreuzer

Alexander Kreuzer: On the Uniform Computational Content of Computatibility Theory

Invitation to the Logic Seminar at the National University of Singapore Date: Wednesday, 2 September 2015, 17:00 hrs Room: S17#04-06, Department of Mathematics, NUS Speaker: Alexander Kreuzer Title: On the Uniform Computational Content of Computatibility Theory URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html Abstract: We demonstrate that the Weihrauch lattice can be used to study the uniform computational content of computability theoretic properties and theorems in one common setting. continue reading…

Alexander Kreuzer: The Basics of Proof Theory

Invitation to a series of talks at the National University of Singapore Date: Wednesday, 23.04.2014 and 30.04.2014, 13:00-15:00 hrs Room: S17#05-11, Department of Mathematics, NUS Speaker: Alexander Kreuzer Title: The Basics of Proof Theory These two lectures give a basic introduction to proof theory for people who are familiar with mathematical logic in general. continue reading…

Alexander Kreuzer: Non-principal ultrafilters, program extraction and higher order reverse mathematics

Invitation to the Logic Seminar at the National University of Singapore Date: Wednesday, 19 March 2014, 17:00 hrs Room: S17#04-05, Department of Mathematics, NUS Speaker: Alexander Kreuzer Title: Non-principal ultrafilters, program extraction and higher order reverse mathematics. continue reading…