Keywords
- Atomic Formula
- Countable Model
- Proper Class
- Elementary Extension
- Uncountable Cardinal
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
K.J. Barwise, Back and forth through infinitary logic, in: Studies in Model Theory, MAA Studies vol. 8, 1973, 5–34.
M. Benda, Reduced products and nonstandard logics, Journal of Symbolic Logic 34(1969), 424–436.
J.-P. Calais, Partial isomorphisms and infinitary languages, Zeitschrift für Math. Logik 18(1972), 435–456.
G. Cantor, Contributions to the Founding of the Theory of Transfinite Numbers, Dover Publ. Co., New York.
C.C. Chang, Some remarks on the model theory of infinitary lanquages, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, Berlin, 1968, 36–63.
C.C. Chang and H.J. Keisler, Model Theory, North-Holland Publ. Co., Amsterdam, 1974.
M. Dickmann, Large Infinitary Languages, North-Holland Publ. Co., Amsterdam, to appear.
S. Fefferman, Infinitary properties, local functors, and systems of ordinal functions, in: Conference in Mathematical Logic-London '70, Springer-Verlag, Berlin, 1972, 63–97.
R. Fraïssé, Isomorphisme local et équivalence associés à un ordinal; utilité en calcul des formules infinies à quanteurs finis, in: Proceedings of the Tarski Symposium, American Mathematical Society, Providence, 1974, 241–254.
F. Hausdorff, Grundzüge der Mengelehre, Chelsea Publ. Co., New York.
C. Karp, Languages with Expressions of Infinite Length, North-Holland Publ. Co., Amsterdam, 1964.
C. Karp, Finite quantifier equivalence, in: The Theory of Models, North-Holland Publ. Co., Amsterdam, 1965, 407–412.
H.J. Keisler, Formulas with linearly ordered quantifiers, in: The Syntax and Semantics of Infinitary Languages, Springer-Veralg, Berlin, 1968, 96–130.
H.J. Keisler, Model Theory for Infinitary Logic, North-Holland Publ. Co., Amsterdam, 1971.
D.W. Kueker, Definability, automorphisms, and infinitary languages, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, 1968, 152–165.
D.W. Kueker, Löwenheim-Skolem and interpolation theorems in infinitary languages, Bulletin of the American Mathematical Society 78 (1972), 211–215.
E.G.K. López-Escobar, On defining well-orderings, Fundamenta Mathematicae 59 (1966), 13–21.
E.G.K. López-Escobar, Well-orderings and finite quantifiers, Journal of the Mathematical Society of Japan 20 (1968), 477–489.
M. Makkai, Structures elementarily equivalent relative to infinitary languages to models of higher power, Acta Mathematica Acad. Sci. Hungar. 21 (1970), 283–295.
J. Malitz, Infinitary analogs of theorems from first order model theory, Journal of Symbolic Logic 36 (1971), 216–228.
M. Morley, The number of countable models, Journal of Symbolic Logic 35 (1970), 14–18.
G.E. Reyes, Local definability theory, Annals of Math. Logic 1 (1969), 101–138.
D. Scott, Logic with denumerably long formulas, in: The Theory of Models, North-Holland Publ. Co., Amsterdam, 1965, 329–341.
D. Scott, Invariant Borel sets, Fundamenta Mathematicae 56 (1964), 117–128.
T. Skolem, Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischen Sätze nebst einem Theoreme über dichte Mengen, in: Selected Works in Logic by T. Skolem, Universitetsforlaget, Oslo, 1970, 103–136.
W. Tait, Equivalence in L∞λ and isomorphism, to appear. *** DIRECT SUPPORT *** A00J4128 00002
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Kueker, D.W. (1975). Back-and-forth arguments and infinitary logics. 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/BFb0081120
Download citation
DOI: https://doi.org/10.1007/BFb0081120
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
