Valuations and Dedekind's Prague Theorem

Journal of Pure and Applied Algebra

Volumn 155, Issue 2-3, 2001, Pages 121-129

  Coquand, Thierry ^a   Persson, Henrik ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

13A10; 13B25; 54H99

Indexed keywords

EID: 0000500172     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(99)00095-X     Document Type: Article

References (12)

1. Banaschewski B., Vermeulen J.J.C. Polynomials and radical ideals. J. Pure Appl. Algebra. 113:1996;219-227.
2. J. Cederquist, Th. Coquand, Entailment relations and distributive lattices, in: Proceedings of Logic Colloquium 98, Lecture Notes in Logic, vol. 13, Peters, Natick, MA, 2000, pp. 110-123.
3. M. Coste, H. Lombardi, M.-F. Roy, Dynamical method in algebra: Effective nullstellensätze, Preprint, 1996.
4. Dobbs E., Fedder R., Fontana M. Abstract Riemann surfaces of integral domains and spectral spaces. Ann. Mat. Pura Appl. 148(4):1987;101-115.
5. H.M. Edwards, The genesis of ideal theory, Arch. Hist. Ex. Sci. 23 ( 1980 ) 321-378.
6. H.M. Edwards, Divisor Theory, Birkhäuser Boston, 1990.
7. Espanol L. Le spectre d'un anneau dans l'algbre constructive et applications la dimension. Cahiers Topologie Geom. Differentielle. 24:1983;133-144.
8. Espanol L. Dimension of boolean valued lattices and rings. J. Pure Appl. Algebra. 42:1986;223-236.
9. L. Espanol, The spectrum lattice of baer rings and polynomials, in: Categorical Algebra and its Applications, Louvain-La-Neuve, 1987, Lecture Notes in Mathematics, vol. 1348, Springer, Berlin, 1988, pp. 118-124.
10. K.F. Gauss, Disquisitiones Arithmeticae, 1802.
11. J. König, Einleitung in die allgemeine Theorie der algebraischen Grössen, Teubner, Leipzig, 1903.
12. D. Scott, Completeness and axiomatiszability, in: Proceedings of the Tarski Symposium, 1974, pp. 411-435.