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.
Type de document :
Pré-publication, Document de travail
2018
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01885531
Contributeur : Luck Darnière <>
Soumis le : mardi 2 octobre 2018 - 09:01:01
Dernière modification le : mardi 30 octobre 2018 - 14:07:22

Fichiers

mc-ha.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

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

Partager

Métriques

Consultations de la notice

12

Téléchargements de fichiers

3