Revisiting Zariski Main Theorem from a constructive point of view
Journal article, 2014
Constructive mathematics
RINGS
Zariski Main Theorem
Quasi-finite algebras
Multivariate Hensel Lemma
Author
M. E. Alonso
Complutense University
Thierry Coquand
University of Gothenburg
H. Lombardi
University of Franche-Comté
Journal of Algebra
0021-8693 (ISSN) 1090-266X (eISSN)
Vol. 406 46-68Subject Categories
Mathematics
DOI
10.1016/j.jalgebra.2014.02.003