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
C.C. Chang, Some remarks on the model theory of infinitary languages, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, Berlin, 1968, 36–63.
E. Cunningham, Chain Models for Infinite-Quantifier Languages, Ph.D. Thesis, University of Maryland, 1974.
J. Green, Consistency Properies for Uncountable Finite-Quantifier Languages, Ph.D. Thesis, University of Maryland, 1972.
C. Karp, Infinite-quantifier languages and ω-chains of models, in: Proceedings of the Tarski Symposium, American Mathematical Society, Providence, 1974, 225–232.
C. Karp, Interpreting formal languages in directed systems of structures, J. Symbolic Logic 29(1964), abstract, 155.
C. Karp, Languages with Expressions of Infinite Length, North-Holland, Amsterdam, 1964.
H.J. Keisler, Model Theory for Infinitary Logic, North-Holland, Amsterdam, 1971.
D.W. Kueker, Definability, automorphisms, and infinitary languages, in: The Syntax and Semantics of Infinitary Languages, Springer-Verlag, Berlin, 1968, 152–165.
M. Makkai, Generalizing Vaught sentences from ω to strong cofinality ω, to appear.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Cunningham, E. (1975). Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier 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/BFb0081122
Download citation
DOI: https://doi.org/10.1007/BFb0081122
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
