Property |
Value |
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)
- 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)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 1801 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:art
|
- Stone algebra (fr)
- Stone algebra (fr)
|
prop-fr:first
| |
prop-fr:id
|
- 633622362 (xsd:integer)
- s/s090350 (fr)
|
prop-fr:lang
| |
prop-fr:last
|
- Fofanova (fr)
- Fofanova (fr)
|
prop-fr:texte
|
- pseudo-complété (fr)
- pseudo-complété (fr)
|
prop-fr:title
|
- Stone lattice (fr)
- Stone lattice (fr)
|
prop-fr:trad
|
- Pseudocomplement (fr)
- Pseudocomplement (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
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)
- 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)
|
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 oa:hasTarget
of | |
is foaf:primaryTopic
of | |