Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
Fundamenta Mathematicae (1981)
- Volume: 112, Issue: 3, page 215-229
- ISSN: 0016-2736
Access Full Article
topHow to cite
topDelon, Françoise. "Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées." Fundamenta Mathematicae 112.3 (1981): 215-229. <http://eudml.org/doc/211257>.
@article{Delon1981,
author = {Delon, Françoise},
journal = {Fundamenta Mathematicae},
keywords = {undecidability; power series rings; convergent power series; several variables; second order model of arithmetic},
language = {fre},
number = {3},
pages = {215-229},
title = {Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées},
url = {http://eudml.org/doc/211257},
volume = {112},
year = {1981},
}
TY - JOUR
AU - Delon, Françoise
TI - Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
JO - Fundamenta Mathematicae
PY - 1981
VL - 112
IS - 3
SP - 215
EP - 229
LA - fre
KW - undecidability; power series rings; convergent power series; several variables; second order model of arithmetic
UR - http://eudml.org/doc/211257
ER -
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.