Article contents
Indécidabilité de la théorie des paires immédiates de corps valués henseliens
Published online by Cambridge University Press: 12 March 2014
Abstract
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 completions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1991
References
RÉFÉRENCES
- 2
- Cited by