Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1490

Preprint Number 1490

Previous Next Preprint server

1490. Luck Darnière (LAREMA)
On the model-completion of Heyting algebras

Submission date: 3 October 2018


We axiomatize the model-completion of the theory of Heyting algebras by means of the “Density” and “Splitting” properties in [DJ18], and of a certain “QE Property” that we introduce here. In addition: we prove that this model-completion has a prime model, which is locally finite and which we explicitly construct; we show how the Open Mapping Theorem of [vGR18] can be derived from the QE Property of existentially closed Heyting algebras; and we construct a certain “discriminant” for equations in Heyting algebras, similar to its ring theoretic counterpart.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1810.01704: pdf, ps.

Last updated: March 23 2021 09:20 Please send your corrections to: