Geometric theories for real number algebra without sign test or dependent choice axiom - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

Geometric theories for real number algebra without sign test or dependent choice axiom

Résumé

In this memoir, we seek to construct a dynamical theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom.

Domaines

Mathématiques [math]
Fichier principal
Vignette du fichier
2408.10290v3.pdf (2.06 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Assia Mahboubi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04709177

Soumis le : mercredi 25 septembre 2024-14:19:26

Dernière modification le : mercredi 20 novembre 2024-11:49:25

Télécharger pour visualiser

Dates et versions

hal-04709177 , version 1 (25-09-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04709177 , version 1

Citer

Henri Lombardi, Assia Mahboubi. Geometric theories for real number algebra without sign test or dependent choice axiom. CCC 2024 - Continuity, Computability, Constructivity From Logic to Algorithms, Sep 2024, Nice, France. pp.1-152. ⟨hal-04709177⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE
23 Consultations
9 Téléchargements

Partager

More