Abstract
We study problems of Clote and Paris, concerning the existence of end extensions of models of Σ n -collection. We continue the study of the notion of ‘Γ-fullness’, begun by Wilkie and Paris (Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North- Holland, Amsterdam, 1989) and introduce and study a generalization of it, to be used in connection with the existence of Σ n -elementary end extensions (instead of plain end extensions). We obtain (a) alternative proofs of results (Adamowicz in Fund. Math. 136, 133–145, 1990) and (Wilkie and Paris in Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North-Holland, Amsterdam, 1989) related to the problem of Paris and (b) a partial solution to the problem of Clote.
Similar content being viewed by others
References
Adamowicz Z. (1990). End extending models of I Δ0 + exp + BΣ1. Fund. Math. 136: 133–145
Clote P. (1986). A note on the MacDowell–Specker theorem. Fund. Math. 127: 163–170
Hájek P. and Pudlák P. (1998). Metamathematics of first-order arithmetic. Springer, Berlin
Kaye R., Paris J. and Dimitracopoulos C. (1988). On parameter free induction schemas. J. Symbolic Logic 53: 1082–1097
Kirby, L.A.S., Paris, J.B.: Initial segments of models of Peano’s axioms. Set theory and hierarchy theory, V. In: Procceedings of Third Conference, Bierutowice, 1976, Lecture Notes in Mathematics, vol. 619, pp. 211–226. Springer, Berlin (1976)
Lessan, H.: Models of Arithmetic, Ph.D. thesis, University of Manchester (1978)
Paris J.B. (1981). Some conservation results for fragments of arithmetic. Lect. Notes Math. 890: 251–262
Paris, J.B., Dimitracopoulos, C.: Truth definitions for Δ0 formulae, Logic and algorithmic, Monograph. Enseign. Math., vol 30, pp. 317–329. Geneva (1982)
Paris, J.B., Kirby, L.A.S.: Σ n -Collection Schemas in Arithmetic, Logic Colloquium ’77, pp. 199–209. North-Holland, Amsterdam (1978)
Wilkie, A., Paris, J.: On the existence of end extensions of models of bounded induction. In: Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North-Holland, Amsterdam (1989)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by INTAS grant 2000-447 and grant 70/4/5633 of the University of Athens Research Secretariat.
Rights and permissions
About this article
Cite this article
Cornaros, C., Dimitracopoulos, C. On two problems concerning end extensions. Arch. Math. Logic 47, 1–14 (2008). https://doi.org/10.1007/s00153-007-0055-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-007-0055-1