SU\G(𝔸)/K·U

Ultraproducts and Other Methods of Constructing Models

C. C. Chang

Type: Book-Chapter

Publication Date: 1967-01-01

Citations: 15

DOI: https://doi.org/10.1016/s0049-237x(08)71504-0

Locations

  • Studies in logic and the foundations of mathematics - View

Similar Works

Action Title Year Authors
+ Fundamentals of Model Theory 1977 H. Jerome Keisler
+ PDF Chat Ultraproducts and Related Constructions 2022 Gábor Sági
+ PDF Chat Compactness Theorem for Some Generalized Second-Order Language 2014 Valeriy K. Zakharov
A. D. Yashin
+ Some Aspects of the Theory of Models 1973 Robert L. Vaught
+ PDF Chat Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers. 1992 George C. Nelson
+ PDF Chat Partial Model Theory -- Ultraproducts and Compactness 2024 Rodolfo Cunha Carnier
+ Ultraproducts as a tool for first-order inexpressibility in the finite and infinite 2013 Philip Dittmann
+ Ultraproducts as a tool for first-order inexpressibility in the finite and infinite 2013 Philip Dittmann
+ Ultraproducts and Higher Order Formulas 2002 Gábor Sági
+ Symposium on Foundations of Set Theory: Some Applications of the Theory of Models to Set Theory 1966 H. Jerome Keisler
+ Limit ultraproducts 1965 H. Jerome Keisler
+ 33 Ultrapowers of models of set theory 1971
+ PDF Chat Ultraproduct invariant logics 1980 Joseph Sgro
+ Ultraproducts for Algebraists 1977 Paul C. Eklof
+ PDF Chat Fragments of First-Order Logic over Infinite Words 2010 Volker Diekert
Manfred Kufleitner
+ Ultraproducts 1997
+ Non-Standard Models 1975 Donald W. Barnes
John Mack
+ The ultraproduct construction 2010 H. Jerome Keisler
+ A survey of some results in lattice-valued model theory 1988 S. Wang
+ Models 2018 Ieke Moerdijk
Jaap van Oosten

Works That Cite This (12)

Action Title Year Authors
+ SOME QUESTIONS OF GENERAL TOPOLOGY AND TIKHONOV SEMIFIELDS. II 1976 M Ya Antonovskii
D. V. Chudnovskii
+ The monadic fragment of predicate calculus with the Chang quantifier and equality 1968 Alan Slomson
+ Filters and Ultraproducts on Projective Sets 2014
+ Omitting types in arithmetic and conservative extensions 1974 R. Phillips
+ The ultraproduct construction 2010 H. Jerome Keisler
+ PDF Chat The structure of ultraproducts of abelian groups 1973 Paul C. Eklof
+ Some model theoretic results for θ-logic 1966 H. Jerome Keisler
+ Omitting types of prenex formulas 1967 C. C. Chang
+ Almost-disjoint sets the dense set problem and the partition calculus 1976 James E. Baumgartner
+ Ultraproducts for Algebraists 1977 Paul C. Eklof

Works Cited by This (19)

Action Title Year Authors
+ Peano's Axioms and Models of Arithmetic 1955 Th. Skolem
+ PDF Chat A note on the two cardinal problem 1965 C. C. Chang
+ PDF Chat An Isomorphism Theorem for Real-Closed Fields 1955 Paul Erdös
Leonard Gillman
Melvin Henriksen
+ PDF Chat Applications of ultraproducts of pairs of cardinals to the theory of models 1962 C. C. Chang
H. Jerome Keisler
+ PDF Chat Some new results in definability 1964 C. C. Chang
+ PDF Chat Descendingly incomplete ultrafilters 1967 C. C. Chang
+ PDF Chat Some interconnections between modern algebra and mathematical logic 1953 Leon Henkin
+ PDF Chat Introduction to Model Theory and to the Metamathematics of Algebra 1963 José Sanmartín Esplugues
+ Arithmetical extensions with prescribed cardinality 1959 Michael O. Rabin
+ PDF Chat A simple proof of the Rabin-Keisler theorem 1965 C. C. Chang