Boolean models and infinitary first order languages
From MaRDI portal
Publication:4775853
DOI10.1016/0003-4843(73)90003-XzbMath0288.02013MaRDI QIDQ4775853
No author found.
Publication date: 1973
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Model theory (03C99) Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Other model constructions (03C30)
Related Items (8)
An example related to Gregory's theorem ⋮ Unnamed Item ⋮ Well Quasi-orderings and Roots of Polynomials in a Hahn Field ⋮ Coinductive formulas and a many-sorted interpolation theorem ⋮ Hanf number for Scott sentences of computable structures ⋮ New axiomatizations for logics with generalized quantifiers ⋮ Partially ordered interpretations ⋮ A unifying approach to theorems on preservation and interpolation for binary relations between structures
This page was built for publication: Boolean models and infinitary first order languages
