Galois Theory for Cylindric Algebras and its Applications

DOI10.2307/1999821MaRDI QIDQ3674660zbMATH OpenOpenAlexFDO

Authors Stephen D. Comer

Publication date 1984

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

zbMATH Keywords

Galois correspondenceamalgamation propertyepimorphismscylindric algebrashomogeneous algebrainjectivesinjective algebrassubgroups of the symmetric groupgeneralized set algebrassubalgebras of the full cylindric set algebra

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Cylindric and polyadic algebras; relation algebras (03G15) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Cites work

• scientific article; zbMATH DE number 3165611 (Why is no real title available?)
• scientific article; zbMATH DE number 3316878 (Why is no real title available?)
• A Sheaf-Theoretic Duality Theory for Cylindric Algebras
• Algebras Whose Congruence Lattices are Distributive.
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Les algèbres cylindriques
• Modules over commutative regular rings
• Projective and injective distributive lattices

Cited in

(7)

• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Free algebras in discriminator varieties
• Algebraization of quantifier logics, an introductory overview
• Epimorphisms in cylindric algebras and definability in finite variable logic
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Bjarni Jónsson's contributions in algebra
• The polyadic generalization of the Boolean axiomatization of fields of sets

This page was built for publication: Galois Theory for Cylindric Algebras and its Applications

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