Minimal Invariant Spaces in Formal Topology (1996)

Cached

Download Links

by Thierry Coquand
Venue:The Journal of Symbolic Logic
Citations:4 - 1 self

Documents Related by Co-Citation

27 Formal spaces – M P Fourman, R J Grayson - 1982
11 Le théorème de Chevalley-Tarski. Cahiers de Topologie et Géométrie Différentielle 16 – A Joyal - 1975
6 Intuitionistic formal spaces—a first communication – G Sambin - 1987
9 Valuations and Dedekind's Prague Theorem – Thierry Coquand, Henrik Persson
5 Polynomials and radical ideals. Journal of pure and applied algebra – B Banaschewski, J J C Vermeulen - 1996
6 Divisor Theory. Birkauser – H M Edwards - 1990
4 Algèbre Commutative, Modules projectifs de type fini. forthcoming. Preliminary version available at the home page of – H Lombardi, C Quitté
4 Methodology and metaphysics in the development of Dedekind’s theory of ideals – J Avigad - 2006
4 Theorie des algebraischen Funktionen einer Veränderlichen – R Dedekind, H Weber
3 Mathematical ideas, ideals, and ideology – H M Edwards - 1992
2 On the early history of commutative algebra. Talk at MSRI – O Neumann
2 Primality Proving with Elliptic Curves. to appear in the proceeding of TPHOL – L Thery, G Hanrot - 2007
9 Théorie algorithmique des anneaux arithmétiques, de Prüfer et de Dedekind – L Ducos, C Quitté, H Lombardi, M Salou
7 A characterization of Prüfer domains in terms of polynomials – R Gilmer, J F Hoffmann
3 Constructive topology and combinatorics, Constructivity in computer science (San Antonio – THIERRY COQUAND - 1991
9 Hidden constructions in abstract algebra. (1) Integral dependence relations – H Lombardi
18 Stone Spaces. Cambridge studies in advanced mathematics 3 – P T Johnstone - 1982
13 Théorie de la dimension dans les anneaux de polynomes – P Jaffard
4 An elementary characterization of Krull dimension, From sets and types to analysis and topology: towards practicable foundations for constructive mathematics – T Coquand, H Lombardi, M F Roy - 2005