La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano - Archive ouverte HAL Access content directly
Journal Articles Comptes rendus de l'Académie des sciences. Série I, Mathématique Year : 1990

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

Domains

Logic [math.LO]
No file

Dates and versions

hal-00095655 , version 1 (18-09-2006)

Identifiers

  • HAL Id : hal-00095655 , version 1

Cite

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, 1990, 310, pp.239-242. ⟨hal-00095655⟩
61 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More