The Model Companion of Stone Semilattices

DOI10.1002/MALQ.19910373105MaRDI QIDQ4031101zbMATH OpenOpenAlexFDO

Authors Christoph Gerber, Jürg Schmid

Publication date 1 April 1993

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

Full work available at URL https://doi.org/10.1002/malq.19910373105

zbMATH Keywords

existentially closedmodel companionStone algebraspseudocomplemented semilatticealgebraically closedfinite axiomatizationsStone semilattices

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Semilattices (06A12) Pseudocomplemented lattices (06D15)

Recommendations

• Kernel ideals of a Stone JP-semilattice.
• Stone almost distributive lattices
• A note on Stone join-semilattices
• On a new construction of pseudocomplemented semilattices
• Distributive pseudocomplemented semilattices
• Quasi-modular pseudocomplemented semilattices
• Quantifier elimination for Stone algebras
• scientific article; zbMATH DE number 859939
• Semilattice structures.
• Ring-like operations is pseudocomplemented semilattices

Cited in

(6)

• Tight representations of semilattices and inverse semigroups.
• Stone lattices.
• Definable sets in Stone algebras
• Distributive pseudocomplemented semilattices
• The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
• The countable existentially closed pseudocomplemented semilattice

This page was built for publication: The Model Companion of Stone Semilattices

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