Revisiting Zariski Main Theorem from a constructive point of view
Artikel i vetenskaplig tidskrift, 2014
Constructive mathematics
RINGS
Zariski Main Theorem
Quasi-finite algebras
Multivariate Hensel Lemma
Författare
M. E. Alonso
Universidad Complutense de Madrid
Thierry Coquand
Göteborgs universitet
H. Lombardi
Université de Franche-Comté
Journal of Algebra
0021-8693 (ISSN) 1090-266X (eISSN)
Vol. 406 46-68Ämneskategorier
Matematik
DOI
10.1016/j.jalgebra.2014.02.003