Skip to main content
SpringerLink
Log in

Some remarks on the model theory of infinitary languages

  • Conference paper
  • First Online:
The Syntax and Semantics of Infinitary Languages

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barwise, J., Remarks on universal sentences of , to appear.

    Google Scholar 

  2. Chang, C. C., Two refinements of Morley's method on omitting types of elements, Notices Amer. Math. Soc., 11 (1964), 679.

    Google Scholar 

  3. -, Omitting types of prenex formulas, J. of. Symbolic Logic, 32 (1967), 61–74.

    Article  MathSciNet  MATH  Google Scholar 

  4. Chang, C. C., Infinitary properties of models generated from indiscernibles, to appear in the Proceedings of the 1967 Int'l Cong. Logic Meth. and Phil. Sci. held in Amsterdam.

    Google Scholar 

  5. Ehrenfeucht, A. and Mostowski, A., Models of axiomatic theories admitting automorphisms, Fund. Math., 43 (1956), 50–68.

    MathSciNet  MATH  Google Scholar 

  6. Hanf, W., Incompleteness in languages with infinitely long expressions, Fund. Math., 53 (1964), 309–323.

    MathSciNet  MATH  Google Scholar 

  7. Helling, M., Hanf numbers for some generalizations of first-order language, Notices Amer. Math. Soc., 11 (1964), 679.

    Google Scholar 

  8. Karp, C., Languages with expressions of infinite length, (North-Holland Publ. Co., Amsterdam, 1964).

    MATH  Google Scholar 

  9. Karp, C., Finite quantifier equivalence, in Theory of Models, (North-Holland Publ. Co., Amsterdam, 1965), 407–412.

    Google Scholar 

  10. Kueker, D., Definability, automorphisms, and infinitary languages, this volume.

    Google Scholar 

  11. Lopez-Escobar, E. G. K., Universal formulas in the infinitary language Lα, β, Bull. de l'Acad. Polon. des Sci. Ser. math. astr. phys., XIII (1965), 383–388.

    MathSciNet  MATH  Google Scholar 

  12. [12]-, On defining well-orderings, Fund. Math., LIX (1966), 13–21.

    MathSciNet  MATH  Google Scholar 

  13. Malitz, J., The Hanf number for complete sentences, this volume.

    Google Scholar 

  14. Morley, M., Omitting classes of elements, in Theory of Models, (North-Holland Publ. Co., Amsterdam, 1965), 265–273.

    Google Scholar 

  15. -, The Hanf number for ω-logic, (abstract), J. Symbolic Logic, 32 (1967), 437.

    Google Scholar 

  16. Morley, M. and Morley, V., The Hanf number for κ-logic, Notices Amer. Math. Soc., 14 (1967), 556.

    Google Scholar 

  17. Scott, D., Logic with denumerably long formulas and finite strings of quantifiers, in Theory of Models, (North-Holland Publ. Co., Amsterdam, 1965), 329–341.

    Google Scholar 

  18. Silver, J., Some applications of model theory in set theory, Ph.D. Thesis, Univ. of Calif., Berkeley, 1966.

    Google Scholar 

  19. Vaught, R., The Löwenheim-Skolem theorem, in Proc. of the 1964 Int'l Cong. Logic Meth. and Phil. Sci. held in Jerusalem, 81–89.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California, Los Angeles

    C. C. Chang

Authors
  1. C. C. Chang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jon Barwise

Rights and permissions

Reprints and permissions

Copyright information

© 1968 Springer-Verlag

About this paper

Cite this paper

Chang, C.C. (1968). Some remarks on the model theory of 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/BFb0079681

Download citation

  • DOI: https://doi.org/10.1007/BFb0079681

  • 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

Publish with us

Policies and ethics

Search

Navigation