Boolean models and infinitary first order languages

DOI10.1016/0003-4843(73)90003-XzbMATH Open0288.02013MaRDI QIDQ4775853FDOQ4775853

Author name not available (Why is that?)

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
• Hanf number for Scott sentences of computable structures
• Title not available (Why is that?)
• Well Quasi-orderings and Roots of Polynomials in a Hahn Field
• 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)