Cylindric Algebras of First-Order Languages

DOI10.2307/1997692MaRDI QIDQ4053652zbMATH OpenOpenAlexFDO

Authors Dale Myers

Publication date 1976

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Cites work

• A Sheaf-Theoretic Duality Theory for Cylindric Algebras
• Every two elementarily equivalent models have isomorphic ultrapowers
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3349803 (Why is no real title available?)
• Introduction to model theory and to the metamathematics of algebra
• The back-and-forth isomorphism construction
• Ultraproducts in the theory of models

Cited in

(1)

• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

This page was built for publication: Cylindric Algebras of First-Order Languages

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