RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive
Zap. Nauchn. Sem. 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.

UDC: 517.11

Received: 20.12.2002

Language: English


 English version: Journal of Mathematical Sciences (New York), 2005, 130:2, 4574–4577

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024