Existentially closed Brouwerian Semilattices

@article{Carai2019ExistentiallyCB,
  title={Existentially closed Brouwerian Semilattices},
  author={Luca Carai and Silvio Ghilardi},
  journal={J. Symb. Log.},
  year={2019},
  volume={84},
  pages={1544-1575}
}
  • Luca Carai, Silvio Ghilardi
  • Published 2019
  • Computer Science, Mathematics
  • J. Symb. Log.
  • The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results due to W. H. Wheeler, it has a model completion (whose models are the existentially closed structures). In this paper, we supply for such a model completion a finite and rather simple axiomatization. 
    5
    Twitter Mentions

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Citations

    Publications citing this paper.