La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable - Archive ouverte HAL Access content directly
Journal Articles Comptes rendus de l'Académie des sciences. Série I, Mathématique Year : 2000

La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable

Domains

Logic [math.LO]
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00095677 , version 1

Cite

Patrick Cegielski, Serge Grigorieff, Denis Richard. La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2000, 331, pp.107-110. ⟨hal-00095677⟩
244 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More