Skip to Main content Skip to Navigation
Journal articles

La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro

Patrick Cegielski 1
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Mots-clés : Arithmétique de Skolem
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00095642
Contributor : Patrick Cegielski <>
Submitted on : Monday, September 18, 2006 - 9:55:46 AM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM

Identifiers

  • HAL Id : hal-00095642, version 1

Collections

LACL | CNRS | INSMI | UPEC | UPEC-UPEM

Citation

Patrick Cegielski. La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1981, 293, pp.351-352. ⟨hal-00095642⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

165

Contact

Informations

CCSD