Mathematics – Logic
Scientific paper
2012-03-30
Mathematics
Logic
Scientific paper
As the class of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a $\aleph_0$-categorical model companion. We will construct the countable existentially closed pseudocomplemented semilattice which is the uniquely determined model of cardinality $\aleph_0$ of the model companion as a direct limit of algebraically closed pseudocomplemented semilattices.
No associations
LandOfFree
The countable existentially closed pseudocomplemented semilattice does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The countable existentially closed pseudocomplemented semilattice, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The countable existentially closed pseudocomplemented semilattice will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-63819