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
Barwise, J., Infinitary Logic and Admissible Sets, to appear. See also thesis by same title, Stanford University, 1967.
Feferman, S. and G. Kreisel, Persistent and invariant formulas relative to theories of higher type, Bull. Amer. Math. Soc., 72 (1966), 480–485.
Friedman, H. and R. Jensen, Note on Admissible Ordinals, this volume.
Gödel, K., The consistency of the axiom of choice and of the generalized continuum hypothesis, Proc. Nat. Acad. of Sci., 24 (1938), 556–557.
Hanf, W. Incompactness in languages with infinitely long expressions, Fund. Math., LIII (1964), 309–324.
Jensen, R., and C. Karp, Primitive recursive set functions, to appear.
Karp, C. Nonaxiomatizing results for infinitary systems, J. Symbolic Logic, 32 (1967), 367–384.
Kreisel, G., Choice of infinitary languages by means of definability criteria; generalized recursion theory, this volume.
Kunen, K., Implicit definability and infinitary languages, J. Symbolic Logic, to appear.
Lévy, A., A hierarchy of formulas in set theory, Memoirs of the Amer. Math. Soc., No. 57 (1965).
Lopez-Escobar, E. G. K., An interpolation theorem for denumerably long formulas, Fund. Math., LVII (1965), 254–272.
Platek, R., Foundations of recursion theory, Doctoral Dissertation and Supplement, Stanford, 1966.
Shoenfield, J. Mathematical Logic, Addison-Wesley, 1967.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1968 Springer-Verlag
About this paper
Cite this paper
Barwise, J. (1968). Implicit definability and compactness in infinitary languages. In: Barwise, J. (eds) The Syntax and Semantics of Infinitary Languages. Lecture Notes in Mathematics, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079680
Download citation
DOI: https://doi.org/10.1007/BFb0079680
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04242-6
Online ISBN: 978-3-540-35900-5
eBook Packages: Springer Book Archive