Publication:
À propos d’un théorème de de Felipe et Teissier sur la comparaison de deux hensélisés dans le cas non noethérien

Loading...
Thumbnail Image
Official URL
Full text at PDC
Publication Date
2020-05-04
Authors
Lombardi, Henri
Neuwirth, Stefan
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
Abstract
This paper gives an elementary proof of a theorem by de Felipe and Teissier in the paper “Valuations and henselization” (arxiv.org/abs/1903.10793v1), to appear in Math. Annalen. The theorem compares two henselizations of a local domain dominated by a valuation domain. Our proofs are written in the constructive Bishop style.
Description
Keywords
Citation
[1] M. E. Alonso, T. Coquand et H. Lombardi : Revisiting Zariski main theorem from a constructive point of view. J. Algebra, 406:46–68, 2014. 9 [2] María E. Alonso, Henri Lombardi et Hervé Perdry : Elementary constructive theory of Henselian local rings. MLQ Math. Log. Q., 54(3):253–271, 2008. 1, 2, 4, 5 [3] Errett Bishop : Foundations of constructive analysis. McGraw-Hill, New York, 1967. 1 [4] Errett Bishop et Douglas Bridges : Constructive analysis. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 279. SpringerVerlag, Berlin, 1985. 1 [5] Douglas Bridges et Fred Richman : Varieties of constructive mathematics. London Mathematical Society Lecture Note Series, 97. Cambridge university press, Cambridge, 1987. 1 [6] Thierry Coquand et Henri Lombardi : Some remarks about normal rings. In Concepts of proof in mathematics, philosophy, and computer science, volume 6 de Ontos Math. Log., pages 141–149. De Gruyter, Berlin, 2016. 5 [7] Thierry Coquand, Henri Lombardi, Claude Quitté et Claire Tête : Résolutions libres finies. Méthodes constructives. Preprint disponible en https://arxiv.org/abs/1811.01873, 2019. 1 [8] Michel Coste, Henri Lombardi et Marie-Françoise Roy : Dynamical method in algebra : effective Nullstellensätze. Ann. Pure Appl. Logic, 111(3):203–256, 2001. 1, 6, 7 [9] F. J. Herrera Govantes, M. A. Olalla Acosta, M. Spivakovsky et B. Teissier : Extending a valuation centred in a local domain to the formal completion. Proc. Lond. Math. Soc. (3), 105(3):571–621, 2012. 1 [10] F.-V. Kuhlmann et Henri Lombardi : Construction of the Henselization of a valued field. (Construction du hensélisé d’un corps valué.). J. Algebra, 228(2):624–632, 2000. 1, 2, 6 [11] Franz-Viktor Kuhlmann, Henri Lombardi et Hervé Perdry : Dynamic computations inside the algebraic closure of a valued field., 2003. 1 [12] Henri Lombardi et Claude Quitté : Algèbre commutative. Méthodes constructives. Modules projectifs de type fini. Cours et exercices. Paris : Calvage & Mounet, 2011. Traduction en anglais (version révisée et étendue par les auteurs) par Tania K. Roblot : Commutative algebra : constructive methods. Finite projective modules. Springer, Dordrecht, 2015. 1 [13] Ray Mines, Fred Richman et Wim Ruitenburg : A course in constructive algebra. Universitext. Springer, New York, 1988. 1 [14] M. Raynaud : Anneaux locaux henséliens. Lecture Notes in Mathematics. 169. Berlin-Heidelberg-New York : Springer-Verlag, 1970. 5 [15] Ihsen Yengui : Constructive commutative algebra : projective modules over polynomial rings and dynamical Gröbner bases. Lecture Notes in Mathematics, 2138. Springer, Cham, 2015. 1
Collections