HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano

Patrick Cegielski 1
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00095655
Contributor : Patrick Cegielski Connect in order to contact the contributor
Submitted on : Monday, September 18, 2006 - 10:07:48 AM
Last modification on : Friday, November 26, 2021 - 6:20:32 PM

Identifiers

  • HAL Id : hal-00095655, version 1

Collections

LACL | CNRS | INSMI | UPEC | UPEC-UPEM

Citation

Patrick Cegielski. La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1990, 310, pp.239-242. ⟨hal-00095655⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

57