Éléments pour une théorie du continu
IIIe rencontre de géométrie du Schnepfenried Volume 2 - 10-15 mai 1982, Astérisque, no. 109-110 (1983), pp. 235-244. 
@incollection{AST_1983__109-110__235_0,
     author = {Harthong, Jacques},
     title = {\'El\'ements pour une th\'eorie du continu},
     booktitle = {IIIe rencontre de g\'eom\'etrie du Schnepfenried Volume 2 - 10-15 mai 1982},
     series = {Ast\'erisque},
     pages = {235--244},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {109-110},
     year = {1983},
     mrnumber = {753151},
     zbl = {0543.03038},
     language = {fr},
     url = {http://www.numdam.org/item/AST_1983__109-110__235_0/}
}
TY  - CHAP
AU  - Harthong, Jacques
TI  - Éléments pour une théorie du continu
BT  - IIIe rencontre de géométrie du Schnepfenried Volume 2 - 10-15 mai 1982
AU  - Collectif
T3  - Astérisque
PY  - 1983
SP  - 235
EP  - 244
IS  - 109-110
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_1983__109-110__235_0/
LA  - fr
ID  - AST_1983__109-110__235_0
ER  - 
%0 Book Section
%A Harthong, Jacques
%T Éléments pour une théorie du continu
%B IIIe rencontre de géométrie du Schnepfenried Volume 2 - 10-15 mai 1982
%A Collectif
%S Astérisque
%D 1983
%P 235-244
%N 109-110
%I Société mathématique de France
%U http://www.numdam.org/item/AST_1983__109-110__235_0/
%G fr
%F AST_1983__109-110__235_0
Harthong, Jacques. Éléments pour une théorie du continu, dans IIIe rencontre de géométrie du Schnepfenried Volume 2 - 10-15 mai 1982, Astérisque, no. 109-110 (1983), pp. 235-244. http://www.numdam.org/item/AST_1983__109-110__235_0/

[1] Georges Reeb : La mathématique non-standard, vieille de soixante ans ? Publ. IRMA, 1978.

[2] G. Takeuti : Two applications of Logic to Mathematics (Princeton University Press, 1976). | MR | Zbl

[3] Les entretiens de Zürich sur les fondements des sciences mathématiques. Editeur : S.A. Lehmann frères & Cie, Zürich, 1941.

[4] D. Hilbert : Ueber das Unendlichen. Mathematische Annalen, vol. 95, 1926, p 161-190 | DOI | EuDML | JFM | MR