Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-25T19:29:55.210Z Has data issue: false hasContentIssue false
  • English
  • Français

Observations concerning elementary extensions of ω-models. II

Published online by Cambridge University Press:  12 March 2014

W. Marek
W. Marek*
Affiliation:
Uniwersytet Warszawski, Instytut Matematyki, Warszawa, Poland
Get access Rights & Permissions [Opens in a new window]

Extract

This paper contains some observations on models for A2-second-order arithmetics. It arose from unsuccessful attempts to prove the Conjecture 1 (see at the end of the paper). Two partial solutions are given in this paper. We also give a sketch of a new proof of a classical result of descriptive set-theory referred to in [3]. Unless otherwise specified the word “model” means “ω-model for second-order arithmetics with the axiom scheme of choice,” i.e., “ω-model of A2” in the terminology of [3]. We say that a model M1 is shorter than M2 iff there is in M2 a relation A which is a well-ordering in M2 such that every relation B which is a well-ordering in M1 is similar to an initial segment of A. We denote by M0 the principal model of A2, i.e., a model which has only standard integers and contains all sets of integers.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 38 , Issue 2 , June 1973 , pp. 227 - 231
Copyright
Copyright © Association for Symbolic Logic 1973

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Keisler, H. J., Model theory for infinitary languages, North-Holland, Amsterdam, 1971.Google Scholar
[2]Marek, W., On methamathematics of impredicative set theory, Dissertationes Mathematicae (in print).Google Scholar
[3]Mostowski, A., Observations concerning elementary extensions of β-models, Proceedings of the Tarski Symposium, American Mathematical Society, Providence, R.I., 1973 (to appear).Google Scholar
[4]Mostowski, A. and Suzuki, Y., On ω-models which are not β-models, Fundamenta Mathematicae, vol. 65 (1969), pp. 83–93.CrossRefGoogle Scholar
[5]Mostowski, A., A class of models for second order arithmetics, Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 7 (1959), pp. 401–404.Google Scholar
[6]Shoenfield, J. R., in Essays in foundations of mathematics, Pergamon, New York, 1960.Google Scholar
[7]Zbierski, P., Models for higher order arithmetics, Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 9 (1961), pp. 557–562.Google Scholar