The countable existentially closed pseudocomplemented semilattice
Logic
2016-07-08 v9
Abstract
As the class of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a -categorical model companion. We will construct the countable existentially closed pseudocomplemented semilattice which is the uniquely determined model of cardinality of the model companion as a direct limit of algebraically closed pseudocomplemented semilattices.
Keywords
Cite
@article{arxiv.1203.6700,
title = {The countable existentially closed pseudocomplemented semilattice},
author = {Joël Adler},
journal= {arXiv preprint arXiv:1203.6700},
year = {2016}
}