On the model-completion of Heyting algebras - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

On the model-completion of Heyting algebras


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.
Fichier principal
Vignette du fichier
mc-ha.pdf (386.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01885531 , version 1 (02-10-2018)



Luck Darnière. On the model-completion of Heyting algebras. 2018. ⟨hal-01885531⟩
40 View
272 Download



Gmail Facebook Twitter LinkedIn More