Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
Boolean algebras
|
| gptkbp:describes |
extension of homomorphisms
|
| gptkbp:field |
gptkb:algebra
gptkb:mathematics gptkb:order_theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Sikorski extension theorem
|
| gptkbp:namedAfter |
gptkb:Roman_Sikorski
|
| gptkbp:relatedTo |
gptkb:Stone_representation_theorem
Boolean algebra homomorphism |
| gptkbp:sentence |
Every Boolean algebra homomorphism from a subalgebra of a Boolean algebra into a complete Boolean algebra can be extended to a homomorphism from the whole algebra.
|
| gptkbp:yearProposed |
1949
|
| gptkbp:bfsParent |
gptkb:Roman_Sikorski
|
| gptkbp:bfsLayer |
6
|