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.