Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

30 maart 2001, Colloquium on Mathematical Logic, Arnold Beckman

30 maart 2001, Colloquium on Mathematical Logic, Arnold Beckman
Speaker: Arnold Beckmann (University of Münster)
Title: The use of well-foundedness principles in weak arithmetics
Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (bus 12 from Utrecht Central Station).
Date and Time: Friday March 30 2001, 14.00-16.00

Abstract:
Well-foundedness principles play an important role in the study of provability strength for a lot of mathematical theories like (fragments of) arithmetic or set theory. We will summerize what is known about well-founded principles in weak arithmetic like Buss's bounded arithmetic.

For further information, see http://www.math.uu.nl/people/jvoosten/seminar.html.

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