Indecidabilite de Corps de Series Formelles

Delon, Francoise; Rouani, Yamina

J. Symbolic Logic, Tome 53 (1988) no. 1, p. 1227-1234 / Harvested from Project Euclid

Résumé

Consider $k((G))$ in the language of valued fields enriched with a unary predicate for the set of constants and another one for the cross-section. For perfect $k$, this structure is undecidable if it does not satisfy Kaplansky's conditions.

Publié le : 1988-12-14
Classification:

@article{1183742794,
     author = {Delon, Francoise and Rouani, Yamina},
     title = {Indecidabilite de Corps de Series Formelles},
     journal = {J. Symbolic Logic},
     volume = {53},
     number = {1},
     year = {1988},
     pages = { 1227-1234},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/1183742794}
}

Delon, Francoise; Rouani, Yamina. Indecidabilite de Corps de Series Formelles. J. Symbolic Logic, Tome 53 (1988) no. 1, pp.  1227-1234. http://gdmltest.u-ga.fr/item/1183742794/