A formal proof of the projective Eisenbud-Evans-Storch theorem

DOI10.1007/s00013-012-0405-zzbMath1248.13006MaRDI QIDQ444111

Davide Rinaldi

Publication date: 13 August 2012

Published in: Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00013-012-0405-z

zbMATH Keywords

number of generators; distributive lattice; Krull dimension; graded ring; polynomial ideal; constructive algebra

Mathematics Subject Classification ID

13A02: Graded rings

13A15: Ideals and multiplicative ideal theory in commutative rings

03F65: Other constructive mathematics

Related Items

A constructive notion of codimension

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Über die Darstellung algebraischer Raumkurven als Durchschnitte von Flächen
• The Zariski spectrum as a formal geometry
• Space of valuations
• A course in constructive algebra
• On a theorem of Kronecker about algebraic varieties
• Some points in formal topology.
• About Stone's notion of spectrum
• Every algebraic set in n-space is the intersection of n hypersurfaces
• A nilregular element property
• Bemerkung zu einem Satz von M. Kneser
• 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
• Finite Methods in Mathematical Practice
• The regular element property
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Constructive Aspects of Noetherian Rings
• Dynamical method in algebra: Effective Nullstellensätze