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: Semantics of the infinitistic rules of proof, J.S.L. 41 (1976), pp. 121–138.
K.J. Barwise: The Hanf number of second order logic, J.S.L. 37 (1972), pp. 588–595.
G. Boolos: On the semantics of the constructive levels ZML ∪ GM 16(1970), pp.139–148.
P.J. Cohen: Set theory and continuum hypothesis, W.A. Benjamin, New York 1966.
R.B. Jensen: Fine structure of constructible universe, A.M.L. 4 (1972), pp. 229–308.
W. Marek: On definable elements in models of set theory, to appear.
W. Marek, M. Srebrny: Gaps in constructible universe, AML 6 (1974), pp. 359–394.
M. Takahashi: \(\tilde \Delta _1 \)— definability in set theory, in: Proceedings of London Conference 1970, S.L.N. 255.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag
About this paper
Cite this paper
Krawczyk, A., Marek, W. (1977). On the rules of proof generated by hierarchies. In: Lachlan, A., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory V. Lecture Notes in Mathematics, vol 619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0067654
Download citation
DOI: https://doi.org/10.1007/BFb0067654
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08521-8
Online ISBN: 978-3-540-37032-1
eBook Packages: Springer Book Archive