Indecidabilite de la Theorie des Paires Immediates de Corps Values Henseliens
Delon, Francoise
J. Symbolic Logic, Tome 56 (1991) no. 1, p. 1236-1242 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The theory of immediate pairs of Henselian valued fields, with a given residual theory (of characteristic zero) and a given theory of valuation group (nonzero), is undecidable and has $2^{\aleph_0}$ completions.
Publié le : 1991-12-14
Classification:  
@article{1183743811,
     author = {Delon, Francoise},
     title = {Indecidabilite de la Theorie des Paires Immediates de Corps Values Henseliens},
     journal = {J. Symbolic Logic},
     volume = {56},
     number = {1},
     year = {1991},
     pages = { 1236-1242},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/1183743811}
}

Delon, Francoise. Indecidabilite de la Theorie des Paires Immediates de Corps Values Henseliens. J. Symbolic Logic, Tome 56 (1991) no. 1, pp.  1236-1242. http://gdmltest.u-ga.fr/item/1183743811/