Boolean models and infinitary first order languages

DOI10.1016/0003-4843(73)90003-XMaRDI QIDQ4775853zbMATH OpenFDO

Authors

Publication date 1973

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Other model constructions (03C30) Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Model theory (03C99)

Cited in

(8)

• New axiomatizations for logics with generalized quantifiers
• An example related to Gregory's theorem
• Well quasi-orderings and roots of polynomials in a Hahn field
• Hanf number for Scott sentences of computable structures
• scientific article; zbMATH DE number 3664914 (Why is no real title available?)
• A unifying approach to theorems on preservation and interpolation for binary relations between structures
• Coinductive formulas and a many-sorted interpolation theorem
• Partially ordered interpretations

This page was built for publication: Boolean models and infinitary first order languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4775853)