Valuative dimension, constructive points of view

DOI10.1016/J.JALGEBRA.2024.02.029MaRDI QIDQ6203783zbMATH OpenOpenAlexFDO

Authors Henri Lombardi, Stefan Neuwirth, Ihsen Yengui

Publication date 8 April 2024

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

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

zbMATH Keywords

algorithmsconstructive mathematicsHilbert programme for abstract algebravaluative dimension of a commutative ring

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Étale and flat extensions; Henselization; Artin approximation (13B40) Henselian rings (13J15)

Recommendations

• scientific article; zbMATH DE number 3788723
• A Socratic Dialogue on Mathematics
• scientific article; zbMATH DE number 3544926
• Ontology in the Tractatus of L. Wittgenstein
• Generalized local class field theory. II: Existence theorem. III: Second form of existence theorem. Structure of analytic groups. IV: Cardinalities
• On the proper spinor genus of a quadratic form
• scientific article; zbMATH DE number 3188568

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 5046775 (Why is no real title available?)
• scientific article; zbMATH DE number 3310901 (Why is no real title available?)
• A course in constructive algebra
• A logical approach to abstract algebra
• Algebraische und logistische Untersuchungen über freie Verbände
• Automating Coherent Logic
• Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Construction B, I, D et anneaux localement ou residuellement de Jaffard. (B, I, D construction and locally or residually Jaffard rings)
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Constructive rereading of Artin-Schreier theory
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Dynamical method in algebra: Effective Nullstellensätze
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Krull dimension and monomial orders
• Krull dimension, Nullstellensätze and dynamical evaluation
• Prime Ideal Structure in Commutative Rings
• Space of valuations
• Spectral spaces versus distributive lattices: a dictionary
• Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
• Valuations and Dedekind's Prague theorem
• Valuative Lattices and Spectra
• Valuative dimension and monomial orders

Cited in

(1)

• Valuative Lattices and Spectra

This page was built for publication: Valuative dimension, constructive points of view

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203783)