Jan Cederquist, Thierry Coquand  Home/Search
Context Related
| cs.chalmers.se/pub/users...lattice.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.chalmers.se/~coquand/formal (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . To any entailment relation [Sco74] we associate a distributive lattice. We use this to give a construction of the product of lattices over an arbitrary index set, of the Vietoris construction, of the embedding of a distributive lattice in a boolean algebra, and to give a logical description of some spaces associated to mathematical structures. 1 Introduction Most spaces associated to mathematical structures: spectrum of a ring, space of valuations of a field, space of bounded linear... (Update)
Context of citations to this paper: More
.... comprehensive Grobner bases [BW91] 2 Spectrum of a Ring and Constructible Topology We recall the construction of the spectrum of a ring [CC98]. Let A be a commutative ring. The relation A B is defined to mean that the product of the elements of B belongs to the radical of the...
...N . In the special case where n = 0 we get that 1 N(b j ) for some N . If m = 0 we get that a i = 0: Proof. We follow the method of [4], and prove that the relation 1 a i N(b j ) for some N is an entailment relation, and that it validates all the axioms of fin . We...
Cited by: More
Compact Spaces and Distributive Lattices - Coquand (Correct)
How to Define Measure of Borel Sets - Coquand (Correct)
Compact Spaces And Distributive Lattices - Thierry Coqua Nd (Correct)
Similar documents (at the sentence level):
47.8%: Entailment Relations and Distributive Lattices - Cederquist, Coquand (1998) (Correct)
Active bibliography (related documents): More All
0.9: Krull Dimension - Coquand (2000) (Correct)
0.5: Sequents, Frames, and Completeness - Coquand, Zhang (Correct)
0.5: On the Measure Problem - Coquand (2000) (Correct)
Similar documents based on text: More All
0.1: The Hahn-Banach Theorem in Type Theory - Cederquist, Coquand, Negri (1997) (Correct)
0.1: A user's guide to ALF - Altenkirch, Gaspes, Nordström, von.. (1994) (Correct)
0.1: The Structure Of The Distributive Lattice Of Games - Born By Day (Correct)
Related documents from co-citation: More All
2: A General Theory of Spectra II (context) - Stone - 1941
2: Boundedness Properties in Function-Lattices (context) - Stone - 1949
2: Cambridge Studies in Advanced Mathematics (context) - Johnstone - 1982
BibTeX entry: (Update)
J. Cederquist and Th. Coquand. Entailment relations and distributive lattices. submitted, 1998. http://citeseer.ist.psu.edu/article/cederquist98entailment.html More
@misc{ cederquist98entailment,
author = "J. Cederquist and T. Coquand",
title = "Entailment relations and distributive lattices",
text = "J. Cederquist and Th. Coquand. Entailment relations and distributive lattices.
submitted, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/cederquist98entailment.html" }
Citations (may not include all citations):146 Investigations into logical deduction (context) - Gentzen - 1969
126 Cambridge University Press (context) - Johnstone - 1982
75 Annals of Pure and Applied Logic (context) - Abramsky, in - 1991
17 Journal of Pure and Applied Algebra (context) - Mulvey, of - 1990
15 La logique des topos (context) - Boileau, Joyal - 1981
13 A globalization of the hahn-banach theorem (context) - Mulvey, Pelletier - 1991
13 Completeness and axiomatizability (context) - Scott - 1974
9 Information systems for continuous posets - Vickers - 1993
8 Background to formalization (context) - Scott - 1973
7 Multi lingual sequent calculus and coherent spaces - Jung, Kegelmann et al. - 1997
5 Valuation ring and dedekind prague's theorem (context) - Coquand, Persson - 1998
5 Vietoris locales and localic semilattices (context) - Johnstone - 1985
4 Dimension of boolean valued lattices and rings (context) - nol - 1986
3 Extensions of Partially Ordered Sets (context) - MacNeille - 1937
3 Representability of locally compact regular spaces by domain.. (context) - Sigstam, Stoltenberg-Hansen - 1977
3 On engendring an illusion of understanding (context) - Scott - 1971
3 This article was processed using the L A T E X macro package.. (context) - Vickers, of et al. - 1997
2 Embedding of a distributive lattice in a boolean algebra (context) - Peremans - 1957
2 of Computer Science (context) - Plotkin, Dept - 1983
2 Lattices and Boolean Rings (context) - MacNeille - 1939
Documents on the same site (http://www.cs.chalmers.se/~coquand/formal.html): More
Real Spectrum - Coquand (1999) (Correct)
A Direct Proof of the Localic Hahn-Banach Theorem - Coquand (1999) (Correct)
Valuations and Dedekind's Prague Theorem - Coquand, Persson (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC