Skip to main content

Back-and-forth arguments and infinitary logics

Part of the Lecture Notes in Mathematics book series (LNM,volume 492)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K.J. Barwise, Back and forth through infinitary logic, in: Studies in Model Theory, MAA Studies vol. 8, 1973, 5–34.

    Google Scholar 

  2. M. Benda, Reduced products and nonstandard logics, Journal of Symbolic Logic 34(1969), 424–436.

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. J.-P. Calais, Partial isomorphisms and infinitary languages, Zeitschrift für Math. Logik 18(1972), 435–456.

    MathSciNet  MATH  Google Scholar 

  4. G. Cantor, Contributions to the Founding of the Theory of Transfinite Numbers, Dover Publ. Co., New York.

    Google Scholar 

  5. 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.

    CrossRef  Google Scholar 

  6. C.C. Chang and H.J. Keisler, Model Theory, North-Holland Publ. Co., Amsterdam, 1974.

    MATH  Google Scholar 

  7. M. Dickmann, Large Infinitary Languages, North-Holland Publ. Co., Amsterdam, to appear.

    Google Scholar 

  8. S. Fefferman, Infinitary properties, local functors, and systems of ordinal functions, in: Conference in Mathematical Logic-London '70, Springer-Verlag, Berlin, 1972, 63–97.

    CrossRef  Google Scholar 

  9. 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.

    CrossRef  Google Scholar 

  10. F. Hausdorff, Grundzüge der Mengelehre, Chelsea Publ. Co., New York.

    Google Scholar 

  11. C. Karp, Languages with Expressions of Infinite Length, North-Holland Publ. Co., Amsterdam, 1964.

    MATH  Google Scholar 

  12. C. Karp, Finite quantifier equivalence, in: The Theory of Models, North-Holland Publ. Co., Amsterdam, 1965, 407–412.

    Google Scholar 

  13. H.J. Keisler, Formulas with linearly ordered quantifiers, in: The Syntax and Semantics of Infinitary Languages, Springer-Veralg, Berlin, 1968, 96–130.

    CrossRef  Google Scholar 

  14. H.J. Keisler, Model Theory for Infinitary Logic, North-Holland Publ. Co., Amsterdam, 1971.

    MATH  Google Scholar 

  15. D.W. Kueker, Definability, automorphisms, and infinitary languages, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, 1968, 152–165.

    Google Scholar 

  16. D.W. Kueker, Löwenheim-Skolem and interpolation theorems in infinitary languages, Bulletin of the American Mathematical Society 78 (1972), 211–215.

    CrossRef  MathSciNet  MATH  Google Scholar 

  17. E.G.K. López-Escobar, On defining well-orderings, Fundamenta Mathematicae 59 (1966), 13–21.

    MathSciNet  MATH  Google Scholar 

  18. E.G.K. López-Escobar, Well-orderings and finite quantifiers, Journal of the Mathematical Society of Japan 20 (1968), 477–489.

    CrossRef  MathSciNet  MATH  Google Scholar 

  19. M. Makkai, Structures elementarily equivalent relative to infinitary languages to models of higher power, Acta Mathematica Acad. Sci. Hungar. 21 (1970), 283–295.

    CrossRef  MathSciNet  MATH  Google Scholar 

  20. J. Malitz, Infinitary analogs of theorems from first order model theory, Journal of Symbolic Logic 36 (1971), 216–228.

    CrossRef  MathSciNet  MATH  Google Scholar 

  21. M. Morley, The number of countable models, Journal of Symbolic Logic 35 (1970), 14–18.

    CrossRef  MathSciNet  MATH  Google Scholar 

  22. G.E. Reyes, Local definability theory, Annals of Math. Logic 1 (1969), 101–138.

    MathSciNet  Google Scholar 

  23. D. Scott, Logic with denumerably long formulas, in: The Theory of Models, North-Holland Publ. Co., Amsterdam, 1965, 329–341.

    Google Scholar 

  24. D. Scott, Invariant Borel sets, Fundamenta Mathematicae 56 (1964), 117–128.

    MathSciNet  MATH  Google Scholar 

  25. 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.

    Google Scholar 

  26. W. Tait, Equivalence in L∞λ and isomorphism, to appear. *** DIRECT SUPPORT *** A00J4128 00002

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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