Keywords
- Transitive Model
- Elementary Extension
- Memorial Logic
- Order Arithmetic
- Infinitary Language
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P.Aczel: Infinitary Logic and Barwise compactness Theorem, Proceedings of Bertrand Russel Memorial Logic Conference, Leeds, 1973, pp. 234–277.
J.Barwise: Admissible Sets and Structures, Berlin-Heidelberg, 1976.
H.Friedman: Countable Models for Set Theories, Proceedings of Cambridge Conference of Logic, S.L.N. 337, 1973.
H.J. Keisler, M. Morley: Elementary Extensions of Models of Set Theory, Israel Journal of Math. 6, 1968, pp. 49–65.
J.L.Krivine, K.Mc.Aloon: Some True Unprovable Formulas for Set Theory, Proceedings of Bertrand Russel Memorial Logic Conference, Leeds, 1973, pp. 332–341.
W. Marek, A. Mostowski: On Extendability of Models of ZF Set Theory to the Models of Kelley-Morse Theory of Classes, Proceedings of Kiel Conference of Logic, S.L.N. 499, 1975, pp. 460–543.
W. Marek, M. Srebrny: Gaps in the Constructible Universe, Annals of Math. Logic, 6, 1974, pp. 359–394.
W. Marek, M. Srebrny: No Least Transitive Model of Z-, Zeitschrift für Math. Logik und Grundlagen der Math., 21, 1975, pp. 225–228.
W. Marek, P. Ziberski: On Higher Order Set Theories, Bull.Acad.Pol.Sci.Serie Math.Astron.Phys. XXI, 1973, pp. 97–101.
W.Marek, P.Zbierski: On Number of Extensions of Models, to appear.
A. Mostowski, Y. Suzuki: On ω — Models Which Are Not β — Models, Fund. Math. LXV, 1969, pp. 83–93.
M. Nadel: Some Skolem-Löwenheim Result for Admissible Sets, Israel Journ. of Math. 12, 1972, pp. 427–432.
P. Zbierski: Models for Higher Order Arithmetics, Bull.Acad. Pol.Sci.Ser.Math. Astron.Phys. XIX, 1971, pp. 557–562.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag
About this paper
Cite this paper
Marek, W., Zbierski, P. (1978). On a class of models of the n-th order arithmetic. In: Müller, G.H., Scott, D.S. (eds) Higher Set Theory. Lecture Notes in Mathematics, vol 669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0103108
Download citation
DOI: https://doi.org/10.1007/BFb0103108
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08926-1
Online ISBN: 978-3-540-35749-0
eBook Packages: Springer Book Archive
