Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. R. Apt, W. Marek, Second order arithmetic and related topics. Ann of Math. Logic 6 (1974), pp. 177–229.
M. Artique, E. Isambert, M. Perrin, A. Zalc, Some remarks on bicommutability, to appear in Fund. Math.
K. J. Barwise, Admissible sets over models of set theory, in Generalized Recursion Theory, North-Holland, 1974, pp. 97–122.
K. J. Barwise, Admissible sets and structures, Springer Verlag, to appear.
K. J. Barwise and J. Schlipf, On recursively saturated models of arithmetic, In Springer L. N. 448.
A. Ehrenfeucht, G. Kreisel, Strong models of arithmetic, Bull. Acad. Pol. Sci., Ser. Sci. Math. Phys. Astron., XV (1966), pp. 107–110.
G. Kreisel, Survey of proof theory. J. of Symb. Logic 33 (1968).
J. L. Krivine, K. Mc Allon, Some true unprovable formulas of set theory, The Proceedings of the Bertrand Russel Memorial Logic Conference, pp. 332–341.
W. Marek, ω-models of second order arithmetic and admissible sets, to appear in Fund. Math.
W. Marek, On the metamathematics of impredicative theory of classes, Diss. Math. XCVIII.
W. Marek, A. Mostowski, On extendability of models of ZF set theory to models of KM theory of classes. In Springer L.N. 449.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag
About this paper
Cite this paper
Marek, W., Srebrny, M. (1976). Urelements and extendability. In: Marek, W., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski. Lecture Notes in Mathematics, vol 537. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0096902
Download citation
DOI: https://doi.org/10.1007/BFb0096902
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07856-2
Online ISBN: 978-3-540-38122-8
eBook Packages: Springer Book Archive