Spectral schemes as ringed lattices (Q2379681): Difference between revisions

@@ Property / author @@
-Henri Lombardi
@@ Property / author: Henri Lombardi / rank @@
-Normal rank
@@ Property / author @@
+Henri Lombardi
@@ Property / author: Henri Lombardi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-009-9160-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1984894018
@@ Property / OpenAlex ID: W1984894018 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theorem of Kronecker about algebraic varieties
+Normal rank
@@ Property / cites work @@
+On seminormality
@@ Property / cites work: On seminormality / rank @@
+Normal rank
@@ Property / cites work @@
+Space of valuations
@@ Property / cites work: Space of valuations / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
+Normal rank
@@ Property / cites work @@
+Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
+Normal rank
@@ Property / cites work @@
+A Short Proof for the Krull Dimension of a Polynomial Ring
+Normal rank
@@ Property / cites work @@
+A logical approach to abstract algebra
@@ Property / cites work: A logical approach to abstract algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Generating non-Noetherian modules constructively
@@ Property / cites work: Generating non-Noetherian modules constructively / rank @@
+Normal rank
@@ Property / cites work @@
+Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
+Normal rank
@@ Property / cites work @@
+Q5718574
@@ Property / cites work: Q5718574 / rank @@
+Normal rank
@@ Property / cites work @@
+A nilregular element property
@@ Property / cites work: A nilregular element property / rank @@
+Normal rank
@@ Property / cites work @@
+Q5437178
@@ Property / cites work: Q5437178 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite type projective modules, crossed linear maps and generalized inverses. (Modules projectifs de type fini, applications linéaires croisées et inverses généralisés)
+Normal rank
@@ Property / cites work @@
+On the Serre, Bass and Forster-Swan theorems
@@ Property / cites work: On the Serre, Bass and Forster-Swan theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
+Normal rank
@@ Property / cites work @@
+Q3996196
@@ Property / cites work: Q3996196 / rank @@
+Normal rank
@@ Property / cites work @@
+The Geometry of Schemes
@@ Property / cites work: The Geometry of Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338361
@@ Property / cites work: Q3338361 / rank @@
+Normal rank
@@ Property / cites work @@
+Spatiality for formal topologies
@@ Property / cites work: Spatiality for formal topologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124833
@@ Property / cites work: Q4124833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440904
@@ Property / cites work: Q4440904 / rank @@
+Normal rank
@@ Property / cites work @@
+Krull dimension, Nullstellensätze and dynamical evaluation
+Normal rank
@@ Property / cites work @@
+Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
+Normal rank
@@ Property / cites work @@
+Seminormal rings (following Thierry Coquand)
@@ Property / cites work: Seminormal rings (following Thierry Coquand) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736172
@@ Property / cites work: Q4736172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112383
@@ Property / cites work: Q3112383 / rank @@
+Normal rank
@@ Property / cites work @@
+Suslin's algorithms for reduction of unimodular rows
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896531
@@ Property / cites work: Q4896531 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains as formal spaces
@@ Property / cites work: Continuous domains as formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly Noetherian rings and constructive ideal theory
+Normal rank
@@ Property / cites work @@
+Lazy bases: a minimalist constructive theory of Noetherian rings
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Zariski topology: Positivity and points
@@ Property / cites work: Formal Zariski topology: Positivity and points / rank @@
+Normal rank
@@ Property / cites work @@
+The Zariski spectrum as a formal geometry
@@ Property / cites work: The Zariski spectrum as a formal geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q3433654
@@ Property / cites work: Q3433654 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal spaces and their effective presentations
@@ Property / cites work: Formal spaces and their effective presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Making the use of maximal ideals constructive
@@ Property / cites work: Making the use of maximal ideals constructive / rank @@
+Normal rank