Finite axiomatizations for existentially closed posets and semilattices

DOI10.1007/BF00390107zbMath0611.03013MaRDI QIDQ1087537

Michael Henry Albert, Stanley N. Burris

Publication date: 1986

Published in: Order (Search for Journal in Brave)

zbMATH Keywords

categoricity; finite axiomatizability; existentially closed posets; existentially closed semilattices; model companions

Mathematics Subject Classification ID

06A06: Partial orders, general

03C60: Model-theoretic algebra

06A05: Total orders

06A12: Semilattices

03C35: Categoricity and completeness of theories

Related Items

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

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