拟闭Brouwerian半格
Existentially Closed Brouwerian Semilattices
摘要：
Brouwerian半格簇是可合并的和局部有限的，从而得到了W。H. Wheeler，它有一个模型完备化（其模型是存在闭结构）。在本文中，我们提供了这样一个模型完成有限的和相当简单的公理化。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
