| dbo:abstract
|
- En mathématiques, une algèbre de Stone, ou treillis de Stone, est un treillis distributif (en) tel que a* ∨a** = 1. Ces treillis ont été introduits par Grätzer et Schmidt en 1957, et nommé d'après Marshall Harvey Stone. Les algèbres booléennes sont des algèbres de Stone et les algèbres de Stone sont des algèbres d'Ockham. (fr)
- In mathematics, a Stone algebra, or Stone lattice, is a pseudo-complemented distributive lattice such that a* ∨ a** = 1. They were introduced by and named after Marshall Harvey Stone. Boolean algebras are Stone algebras, and Stone algebras are Ockham algebras. Examples:
* The open-set lattice of an extremally disconnected space is a Stone algebra.
* The lattice of positive divisors of a given positive integer is a Stone lattice. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1701 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:first
| |
| dbp:id
| |
| dbp:last
| |
| dbp:title
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- En mathématiques, une algèbre de Stone, ou treillis de Stone, est un treillis distributif (en) tel que a* ∨a** = 1. Ces treillis ont été introduits par Grätzer et Schmidt en 1957, et nommé d'après Marshall Harvey Stone. Les algèbres booléennes sont des algèbres de Stone et les algèbres de Stone sont des algèbres d'Ockham. (fr)
- In mathematics, a Stone algebra, or Stone lattice, is a pseudo-complemented distributive lattice such that a* ∨ a** = 1. They were introduced by and named after Marshall Harvey Stone. Boolean algebras are Stone algebras, and Stone algebras are Ockham algebras. Examples:
* The open-set lattice of an extremally disconnected space is a Stone algebra.
* The lattice of positive divisors of a given positive integer is a Stone lattice. (en)
|
| rdfs:label
|
- Algèbre de Stone (fr)
- Stone algebra (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
