Some applications of infinitely long formulas

DOI10.2307/2269622zbMath0158.01301OpenAlexW2018381902MaRDI QIDQ5540459

H. Jerome Keisler

Publication date: 1965

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269622

zbMATH Keywords

set theory

Related Items (12)

Quantifier elimination in discriminator varieties ⋮ Direct product decompositions of structures and theories ⋮ Faithfully quadratic rings ⋮ A note on definability in equational logic ⋮ Infinitary formulas preserved under unions of models ⋮ Saturation and omitting types ⋮ Game sentences and ultrapowers ⋮ Some applications of Henkin quantifiers ⋮ Classes of algebraic systems defined by universal Horn sentences ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ A unifying approach to theorems on preservation and interpolation for binary relations between structures ⋮ Reduced products, Horn sentences, and decision problems

Cites Work

• Unnamed Item
• Properties preserved under homomorphism
• Properties preserved under algebraic constructions
• Homogeneous Universal Models.
• Consistency of the Continuum Hypothesis. (AM-3)

This page was built for publication: Some applications of infinitely long formulas