Atlas home || Conferences | Abstracts | about Atlas

21st Days of Weak Arithmetics
June 7-9, 2002
Steklov Institute of Mathematics
St. Petersburg, Russia

Organizers
Paola d'Aquino (Italy), Anatoly Beltiukov (Russia), Patrick Cegielski (France), Gregory Kucherov (France), Krzysztof Lorys (Poland), Yuri Matiyassevich (Russia), the chairman, Jean-Pierre Ressayre (France), Denis Richard (France), Maxim Vsemirov (Russia)

View Abstracts
Conference Homepage

Bootstrapping
by
Jean-Pierre Ressayre
CNRS and UNIVERSITE PARIS 7
Coauthors: Boughattas Sedki (Universite Paris 7)

We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction. In particular we construct models in which the polynomial time hierarchy does not collapse, or where the set of prime numbers is not co-NP. Our methods are new and likely to have further applications.

http://www.logique.jussieu.fr/www.ressayre/jaf.dvi

Date received: February 5, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cail-03.