Cylindric Algebras of First-Order Languages

DOI10.2307/1997692zbMath0299.02075OpenAlexW4249906617MaRDI QIDQ4053652

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)

Related Items (1)

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

Cites Work

• The back-and-forth isomorphism construction
• Ultraproducts in the theory of models
• Every two elementarily equivalent models have isomorphic ultrapowers
• Introduction to model theory and to the metamathematics of algebra
• A Sheaf-Theoretic Duality Theory for Cylindric Algebras
• Unnamed Item
• Unnamed Item

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