Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

On the model-completion of Heyting algebras

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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01885531
Contributor : Luck Darnière <>
Submitted on : Tuesday, October 2, 2018 - 9:01:01 AM
Last modification on : Monday, March 9, 2020 - 6:16:00 PM
Document(s) archivé(s) le : Thursday, January 3, 2019 - 1:15:02 PM

Files

mc-ha.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01885531, version 1
  • ARXIV : 1810.01704

Collections

Citation

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

Share

Metrics

Record views

41

Files downloads

80