Elementary equivalent pairs of algebras associated with sets

DOI10.1007/BF01191084zbMath0743.03026OpenAlexW2084159150MaRDI QIDQ1179767

Colin Naturman, Henry Rose

Publication date: 27 June 1992

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01191084

zbMATH Keywords

symmetric groupspartition latticeselementary equivalenceBoolean algebra of subsetsfull relation algebrasfunction monoidspairs of bi- interpretable classes of structuressemilattice of order relationsstructured setsultrauniversalityword semigroup

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Logical aspects of Boolean algebras (03G05) Relational systems, laws of composition (08A02) Axiomatic model classes (08C10)

Related Items (4)

Multiset topologies induced by multiset relations ⋮ Quotient-reflective and bireflective subcategories of the category of preordered sets ⋮ On elementary theories of semilattices of partial orders on sets ⋮ Topological properties of a pair of relation-based approximation operators

Cites Work

• Unnamed Item
• Unnamed Item
• Elementarily non-equivalent infinite partition lattices
• First order theory of permutation groups
• There are just four second-order quantifiers
• On elementary types of symmetric groups
• Postulates for the calculus of binary relations

This page was built for publication: Elementary equivalent pairs of algebras associated with sets