Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/spectral-schemes-as-ringed-lattices-QOZ66xGDIX
References (56)
-
G. Sambin (2003)
Some points in formal topologyTheor. Comput. Sci., 305
-
N Gambino, P Schuster (2007)
Spatiality for formal topologiesMath. Struct. Comput. Sci., 17
-
H. Perdry (2008)
Lazy bases: a minimalist constructive theory of Noetherian ringsMathematical Logic Quarterly, 54
-
R Mines, F Richman, W Ruitenburg (1988)
A Course in Constructive Algebra. Universitext -
H Lombardi (2006)
Algèbre dynamique, espaces topologiques sans points et programme de HilbertAnn. Pure Appl. Logic, 137
-
T. Coquand (2004)
Sur un théorème de Kronecker concernant les variétés algébriquesComptes Rendus Mathematique, 338
-
J. Bell (1987)
STONE SPACES (Cambridge Studies in Advanced Mathematics 3)Bulletin of The London Mathematical Society, 19
-
T. Coquand, H. Lombardi, Claude Quitt'e (2017)
Dimension de Heitmann des treillis distributifs et des anneaux commutatifsarXiv: Commutative Algebra
-
Gema D'iaz--Toca, L. González-Vega, H. Lombardi, Claude Quitt'e (2006)
Modules projectifs de type fini, applications linéaires croisées et inverses généralisésJournal of Algebra, 303
-
P. Schuster (2006)
Formal Zariski topology: Positivity and pointsAnn. Pure Appl. Log., 137
-
A. Grothendieck, J. Dieudonne (1960)
Éléments de géométrie algébriquePublications Mathématiques de l'Institut des Hautes Études Scientifiques, 20
-
T. Coquand, H. Lombardi, Claude Quitté (2004)
Generating non-Noetherian modules constructivelymanuscripta mathematica, 115
-
T. Coquand, H. Lombardi, Marie-Françoise Roy (2005)
An elementary characterization of Krull dimension -
S Negri (1996)
Logic and Algebra -
T. Coquand, H. Lombardi (2005)
A Short Proof for the Krull Dimension of a Polynomial RingThe American Mathematical Monthly, 112
-
M. Fontana, S. Kabbaj, S. Wiegand (2003)
Commutative Ring Theory and Applications, 231
-
A Grothendieck, J Dieudonné (1971)
Éléments de géométrie algébrique, vol. 1 -
L Ducos, H Lombardi, C Quitté, M Salou (2004)
Théorie algorithmique des anneaux arithmétiques, de Prüfer et de DedekindJ. Algebra, 281
-
L. Ducos, H. Lombardi, C. Quitté, M. Salou (2004)
Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de DedekindJournal of Algebra, 281
-
P. Schuster (2008)
The Zariski spectrum as a formal geometryTheor. Comput. Sci., 405
-
R. Mines, F. Richman, Wim Ruitenburg (1987)
A Course in Constructive Algebra -
H. Lombardi, Claude Quitté (2008)
Seminormal rings (following Thierry Coquand)Theor. Comput. Sci., 392
-
A. Beckmann, B. Löwe, D. Normann (2007)
Logical Approaches to Computational Barriers: CiE 2006J. Log. Comput., 17
-
Luis Español (1983)
Le spectre d'un anneau dans l'algèbre constructive et applications à la dimensionCahiers de Topologie et Géométrie Différentielle Catégoriques, 24
-
H. Perdry (2004)
Strongly Noetherian rings and constructive ideal theoryJ. Symb. Comput., 37
-
T. Coquand, H. Lombardi, P. Schuster (2007)
The projective spectrum as a distributive latticeCahiers de Topologie et Géométrie Différentielle Catégoriques, 48
-
ndré Joyal (1976)
Les théoremes de Chevalley-Tarski et remarques sur l’algèbre constructiveCahiers Topologie Géom. Différentielle, 16
-
H. Lombardi, I. Yengui (2005)
Suslin's algorithms for reduction of unimodular rowsJ. Symb. Comput., 39
-
PT Johnstone (1977)
Topos Theory. London Mathematical Society Monographs, vol. 10 -
I. Yengui (2008)
Making the use of maximal ideals constructiveTheor. Comput. Sci., 392
-
H Lombardi, C Quitté (2009)
Algèbre commutative, modules projectifs de type fini -
P. Schuster, J. Zappe (2006)
Do Noetherian Modules Have Noetherian Basis Functions? -
(2007)
Cah. Topol. Géom. Différ. Catég -
Laurent Chicli (2003)
Sur la formalisation des mathématiques dans le calcul des constructions inductives -
H. Lombardi (2002)
Dimension de Krull, Nullstellensätze et évaluation dynamiqueMathematische Zeitschrift, 242
-
T. Coquand (2004)
On a theorem of Kronecker about algebraic sets, 338
-
T. Coquand, Lionel Ducos, H. Lombardi, Claude Quitté (2009)
Constructive Krull Dimension. I: Integral ExtensionsJournal of Algebra and Its Applications, 8
-
S. Lane, I. Moerdijk (1992)
Sheaves In Geometry And Logic -
T Coquand, H Lombardi, M Roy (2005)
From Sets and Types to Topology and Analysis. Oxford Logic Guides, vol. 48 -
H Perdry (2008)
Lazy bases: a minimalist constructive theory of Noetherian ringsMLQ Math. Log. Q., 54
-
G. Sambin (1987)
Intuitionistic Formal Spaces — A First Communication -
T. Coquand (2009)
Space of valuationsAnn. Pure Appl. Log., 157
-
H. Lombardi (2006)
Structures algébriques dynamiques, espaces topologiques sans points et programme de HilbertAnn. Pure Appl. Log., 137
-
D. Skordev (2011)
Mathematical Logic and Its Applications -
D. Eisenbud, J. Harris (1992)
The Geometry Of Schemes -
Reinhold Heckmann (1996)
Spaces of ValuationsAnnals of the New York Academy of Sciences, 806
-
HM Edwards (1990)
Divisor Theory -
T. Coquand, H. Lombardi, P. Schuster (2005)
A nilregular element propertyArchiv der Mathematik, 85
-
J. Gallier (1997)
Ann. Pure Appl. LogicAnnals of Pure and Applied Logic, 89
-
Laura Crosilla, P. Schuster (2005)
From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics, 48
-
T. Coquand, H. Lombardi (2005)
A logical approach to abstract algebraMathematical Structures in Computer Science, 16
-
L. Ducos (2004)
Sur les théorèmes de Serre, Bass et Forster-SwanComptes Rendus Mathematique, 339
-
Inger Sigstam (1995)
Formal spaces and their effective presentationsArchive for Mathematical Logic, 34
-
T. Coquand, H. Lombardi, Marie-Françoise Roy (2005)
An elementary characterisation of Krull dimension -
T Coquand (2006)
On seminormalityJ. Algebra, 305
-
Sara Negri (2002)
Continuous domains as formal spacesMathematical Structures in Computer Science, 12
- Publisher
- Springer Journals
- Copyright
- Copyright © 2009 by Springer Science+Business Media B.V.
- Subject
- Computer Science; Statistical Physics, Dynamical Systems and Complexity; Mathematics, general; Computer Science, general; Artificial Intelligence (incl. Robotics)
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1007/s10472-009-9160-7
- Publisher site
- See Article on Publisher Site
Abstract
We give a point-free definition of a Grothendieck scheme whose underlying topological space is spectral. Affine schemes aside, the prime examples are the projective spectrum of a graded ring and the space of valuations corresponding to an abstract nonsingular curve. With the appropriate notion of a morphism between spectral schemes, elementary proofs of the universal properties become possible.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Sep 29, 2009