A note on the axiomatisation of real numbers

Article Dans Une Revue Math. Logic Quarterly Année : 2008

(1) , (2)

1
2

Henri Lombardi

Thierry Coquand

Algèbre commutative [math.AC]

https://hal.science/hal-00495336

Soumis le : vendredi 25 juin 2010-15:16:13

Dernière modification le : jeudi 14 mars 2024-03:09:10

hal-00495336 , version 1 (25-06-2010)

Henri Lombardi, Thierry Coquand. A note on the axiomatisation of real numbers. Math. Logic Quarterly, 2008, 54 (3), pp.224-228. ⟨hal-00495336⟩

CNRS UNIV-FCOMTE LMB

63 Consultations

0 Téléchargements