The countable existentially closed pseudocomplemented semilattice

DOI10.1007/S00153-017-0527-XMaRDI QIDQ527338zbMATH OpenOpenAlexFDO

Authors Joël Adler

Publication date 11 May 2017

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1203.6700

zbMATH Keywords

\(\aleph _0\)-categoricityexistentially closedmodel companionpseudocomplemented semilattice

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Semilattices (06A12) Pseudocomplemented lattices (06D15)

Abstract: As the class of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a $alep{h}_0$-categorical model companion. We will construct the countable existentially closed pseudocomplemented semilattice which is the uniquely determined model of cardinality $alep{h}_0$ of the model companion as a direct limit of algebraically closed pseudocomplemented semilattices.

Recommendations

• The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
• The Model Companion of Stone Semilattices
• On a new construction of pseudocomplemented semilattices
• The class of algebraically closed p-semilattices is finitely axiomatizable
• Existentially closed semilattices

Cites work

• Algebraically closed p-semilattices
• Model companions for finitely generated universal Horn classes
• Model-companions and definability in existentially complete structures
• Pseudo-complements in semi-lattices
• Sheaf Constructions and Their Elementary Properties
• Stone lattices
• The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

Cited in

(2)

• Correction to: ``The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
• The class of algebraically closed p-semilattices is finitely axiomatizable

This page was built for publication: The countable existentially closed pseudocomplemented semilattice

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