Publications > Preprint server > Preprint Number 1490
Preprint Number 1490
1490. Luck Darnière (LAREMA) On the model-completion of Heyting algebras E-mail: Submission date: 3 October 2018 Abstract: 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: |
Last updated: March 23 2021 10:20 | Please send your corrections to: |