Article contents
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
Published online by Cambridge University Press: 15 October 2019
Abstract
The variety of Brouwerian semilattices is amalgamable and locally finite; hence, by well-known results [19], it has a model completion (whose models are the existentially closed structures). In this article, we supply a finite and rather simple axiomatization of the model completion.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2019
References
REFERENCES
- 1
- Cited by