Finite axiomatizations for existentially closed posets and semilattices

DOI10.1007/BF00390107zbMath0611.03013OpenAlexW2048036952MaRDI QIDQ1087537

Michael Henry Albert, Stanley N. Burris

Publication date: 1986

Published in: Order (Search for Journal in Brave)

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

zbMATH Keywords

categoricityfinite axiomatizabilityexistentially closed posetsexistentially closed semilatticesmodel companions

Mathematics Subject Classification ID

Partial orders, general (06A06) Model-theoretic algebra (03C60) Total orders (06A05) Semilattices (06A12) Categoricity and completeness of theories (03C35)

Related Items

A universality result for endomorphism monoids of some ultrahomogeneous structures ⋮ The class of algebraically closed p-semilattices is finitely axiomatizable ⋮ On random relational structures ⋮ Strongly algebraically closed \(p\)-semilattices ⋮ Remarks on homomorphism-homogeneous lattices and semilattices ⋮ The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable ⋮ A survey of homogeneous structures ⋮ On k-homogeneous posets and graphs ⋮ Universal locally finite maximally homogeneous semigroups and inverse semigroups ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES

Cites Work

• Model companions for finitely generated universal Horn classes
• A note on ℵ0-categorical model-companions
• Sheaf Constructions and Their Elementary Properties
• Existentially closed structures
• Unnamed Item
• Unnamed Item