Revisiting Zariski main theorem from a constructive point of view

DOI10.1016/j.jalgebra.2014.02.003zbMath1391.13049arXiv1602.00597OpenAlexW2256956731MaRDI QIDQ402421

Thierry Coquand, Henri Lombardi, M. Emilia Alonso García

Publication date: 28 August 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.00597

zbMATH Keywords

constructive mathematicsquasi-finite algebrasmultivariate Hensel LemmaZariski main theorem

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Henselian rings (13J15)

Related Items

On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case ⋮ Local Bézout theorem for Henselian rings ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive finite free resolutions
• Generating non-Noetherian modules constructively
• Space of valuations
• A course in constructive algebra
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
• Spectral schemes as ringed lattices
• Making the use of maximal ideals constructive
• Anneaux locaux henséliens
• Analytical irreducibility of normal varieties
• Elementary constructive theory of Henselian local rings
• On seminormality
• Algorithms in real algebraic geometry