Valuative dimension, constructive points of view
From MaRDI portal
Publication:6203783
DOI10.1016/j.jalgebra.2024.02.029arXiv2311.05218OpenAlexW4388554380MaRDI QIDQ6203783
Henri Lombardi, Ihsen Yengui, Stefan Neuwirth
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
algorithmsconstructive mathematicsHilbert programme for abstract algebravaluative dimension of a commutative ring
Other constructive mathematics (03F65) Étale and flat extensions; Henselization; Artin approximation (13B40) Henselian rings (13J15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Krull dimension and monomial orders
- Construction B, I, D et anneaux localement ou residuellement de Jaffard. (B, I, D construction and locally or residually Jaffard rings)
- Space of valuations
- A course in constructive algebra
- Constructive rereading of Artin-Schreier theory
- Krull dimension, Nullstellensätze and dynamical evaluation
- Valuations and Dedekind's Prague theorem
- Valuative dimension and monomial orders
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- A logical approach to abstract algebra
- Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Spectral Spaces Versus Distributive Lattices: A Dictionary
- Automating Coherent Logic
- Prime Ideal Structure in Commutative Rings
- Algebraische und logistische Untersuchungen über freie Verbände
- Dynamical method in algebra: Effective Nullstellensätze
- Valuative Lattices and Spectra