|
Zapiski Nauchnykh Seminarov POMI, 2003, Volume 304, Pages 13–18
(Mi znsl876)
|
|
|
|
New models of bounded induction axioms
S. Boughattasab, J.-P. Ressayreab a Université Paris VII – Denis Diderot
b Centre National de la Recherche Scientifique
Abstract:
We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction.
Received: 20.12.2002
Citation:
S. Boughattas, J.-P. Ressayre, “New models of bounded induction axioms”, Computational complexity theory. Part VIII, Zap. Nauchn. Sem. POMI, 304, POMI, St. Petersburg, 2003, 13–18; J. Math. Sci. (N. Y.), 130:2 (2005), 4574–4577
Linking options:
https://www.mathnet.ru/eng/znsl876 https://www.mathnet.ru/eng/znsl/v304/p13
|
Statistics & downloads: |
Abstract page: | 142 | Full-text PDF : | 42 | References: | 34 |
|