论文信息 - A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0 - 字舞流文

A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0

Abstract A generalization is given of McAloon's result (1982) on initial segments ofmodels of GlΔ0, the fragment of Peano Arithmetic where the induction scheme is restricted to formulas with bounded quantifiers.

Paola D'Aquino | P. D'Aquino

[1] George M. Wilmers,et al. Bounded Existential Induction , 1985, J. Symb. Log..

[2] George Wilmers,et al. Models OF Peano Arithmetic (Oxford Logic Guides 15) , 1993 .

[3] H. E. Rose. Subrecursion: Functions and Hierarchies , 1984 .

[4] Jeff B. Paris,et al. On the Existence of end Extensions of Models of Bounded Induction , 1989 .

[5] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .

[6] A. J. wilkie. On Sentences Interpretrble in Systems of Arithmetic , 1986 .

[7] Jeff B. Paris,et al. A Hierarchy of Cuts in Models of Arithmetic , 1980 .

[8] J. Paris,et al. ∑n-Collection Schemas in Arithmetic , 1978 .

[9] Richard Kaye. Models of Peano arithmetic , 1991, Oxford logic guides.

[10] Kenneth McAloon. On the Complexity of Models of Arithmetic , 1982, J. Symb. Log..

[11] Paola D'Aquino. Local Behaviour of the Chebyshev Theorem in Models of I Delta0 , 1992, J. Symb. Log..