The Model Companion of Stone Semilattices

DOI10.1002/MALQ.19910373105zbMATH Open0759.03020OpenAlexW2000938630MaRDI QIDQ4031101FDOQ4031101

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

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

zbMATH Keywords

existentially closedmodel companionStone algebraspseudocomplemented semilatticealgebraically closedfinite axiomatizationsStone semilattices

Mathematics Subject Classification ID

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

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)