Construction of the Henselization of a valued field
From MaRDI portal
Publication:1570369
DOI10.1006/jabr.2000.8289zbMath0966.12004arXiv2202.05503OpenAlexW2060422709MaRDI QIDQ1570369
Henri Lombardi, Franz-Viktor Kuhlmann
Publication date: 23 October 2000
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2202.05503
Related Items
Cites Work
- EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions
- Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
- Constructive rereading of Artin-Schreier theory
- ISSAC '88, Proceedings of the International Symposium on Symbolic and Algebraic Computation. Rome, Italy, July 4--8, 1988.
- Unnamed Item
- Unnamed Item
- Unnamed Item