The countable existentially closed pseudocomplemented semilattice

DOI10.1007/s00153-017-0527-xzbMath1417.03235arXiv1203.6700OpenAlexW1631906292MaRDI QIDQ527338

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

pseudocomplemented semilatticeexistentially closedmodel companion\(\aleph _0\)-categoricity

Mathematics Subject Classification ID

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

Related Items (1)

Correction to: ``The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

Cites Work

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

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