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
H. Bachmann, Transfinite Zahlen, 2nd ed., Springer-Verlag, Berlin, 1967.
J. Barwise, Infinitary logic and admissible sets, Doctoral Dissertation, Stanford University, Stanford, Calif., 1967.
J. Barwise, Implicit definability and compactness in infinitary languages, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, Berlin, 1968, 1–35.
J. Barwise, Applications of strict Πll predicates to infinitary logic, mimeographed, Yale, 1968–1969.
J.R. Buchi, Die Boole'sche Partialordnung und die Paarung von Gefuegen, Portugaliae Mathematica 7(1948), 119–190.
P.J. Cohen, The independence of the continuum hypothesis, Parts I, II, Proceedings of the National Academy of Sci. U.S.A. 50(1963), 1143–1148; 51(1964), 105–110.
K. Gödel, The Consistency of the Continuum Hypothesis, Princeton University Press, Princeton, N.J., 1940.
R.B. Jensen, Modelle der Mengenlehre, Springer-Verlag, Berlin, 1967.
R.B. Jensen and C.R. Karp, Primitive recursive set functions, in: Axiomatic Set Theory, part 1, American Mathematical Society, Providence, 1971, 143–176.
C.R. Karp, Languages with Expressions of Infinite Length, North-Holland, Amsterdam, 1964.
C.R. Karp, Nonaxiomatizability results for infinitary systems, Journal of Symbolic Logic 32(1967), 367–384.
C.R. Karp, An algebraic proof of the Barwise compactness theorem, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, Berlin, 1968, 80–95.
G. Kreisel, Model-theoretic invariants; applications to recursive and hyperarithmetic operations, in: The Theory of Models, North-Holland, Amsterdam, 1965, 190–205.
G. Kreisel, A survey of proof theory, Journal of Symbolic Logic 33(1968), 321–388.
K. Kunen, Implicit definability and infinitary languages, Journal of Symbolic Logic 33(1968), 446–451.
A. Lévy, The interdependence of certain consequences of the axiom of choice, Fundamenta Mathematica 54(1964), 135–157.
A. Lévy, Definability in axiomatic set theory I, in: Proceedings of the 1964 International Congress for Logic, Methodology, and Philosophy of Science, North-Holland Publ. Co., Amsterdam, 1966, 127–151.
A. Lévy, A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society, No. 57(1965).
A. Lévy and R.M. Solovay, Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics 5(1967), 234–238.
R. Platek, Foundations of Recursion Theory, Doctoral Dissertation, Stanford University, Stanford, Calif., 1966.
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Panstwowe Wydawnictwo Naukowe, Warszawa, 1963.
D. Scott, Lectures on Boolean-valued models for set theory, unpublished lecture notes of the U.C.L.A. Summer Institute on Set Theory, 1967.
D. Scott and R.M. Solovay, Boolean-valued models of set theory, to appear.
J.R. Shoenfield, Unramified forcing, in: Axiomatic Set Theory, I, American Mathematical Society, Providence, 1971, 357–382.
R. Sikorski, Boolean Algebras, 2nd ed., Academic Press, New York, 1964.
P.C. Suppes, Axiomatic Set Theory, Van Nostrand, Princeton, N.J., 1960.
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Gregory, J. (1975). On a finiteness condition for infinitary languages. In: Kueker, D.W. (eds) Infinitary Logic: In Memoriam Carol Karp. Lecture Notes in Mathematics, vol 492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0081123
Download citation
DOI: https://doi.org/10.1007/BFb0081123
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07419-9
Online ISBN: 978-3-540-37949-2
eBook Packages: Springer Book Archive