Valuative dimension, constructive points of view
DOI10.1016/J.JALGEBRA.2024.02.029arXiv2311.05218OpenAlexW4388554380MaRDI QIDQ6203783FDOQ6203783
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
Recommendations
- scientific article
- 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
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
- Prime Ideal Structure in Commutative Rings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Krull dimension and monomial orders
- Space of valuations
- A course in constructive algebra
- Valuations and Dedekind's Prague theorem
- Title not available (Why is that?)
- A logical approach to abstract algebra
- Title not available (Why is that?)
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Krull dimension, Nullstellensätze and dynamical evaluation
- 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
- Construction B, I, D et anneaux localement ou residuellement de Jaffard. (B, I, D construction and locally or residually Jaffard rings)
- Algebraische und logistische Untersuchungen über freie Verbände
- 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
- Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
- Constructive rereading of Artin-Schreier theory
- Valuative dimension and monomial orders
- Automating Coherent Logic
- Title not available (Why is that?)
- Spectral Spaces Versus Distributive Lattices: A Dictionary
- 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)