# 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} }

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

#### Citations

##### Publications citing this paper.

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 31 REFERENCES

## On the model-completion of Heyting algebras

VIEW 1 EXCERPT