No CrossRef data available.
Article contents
Indécidabilité de corps de séries formelles
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1988