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

DOI10.1007/s00013-012-0405-zzbMath1248.13006OpenAlexW2039276068MaRDI 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 generatorsdistributive latticeKrull dimensiongraded ringpolynomial idealconstructive algebra

Mathematics Subject Classification ID

Graded rings (13A02) Ideals and multiplicative ideal theory in commutative rings (13A15) Other constructive mathematics (03F65)

Related Items (1)

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

This page was built for publication: A formal proof of the projective Eisenbud-Evans-Storch theorem