Cardinal Arithmetic

GPTKB entity

Statements (31)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns infinite sets
gptkbp:developedBy gptkb:Georg_Cantor
gptkbp:field gptkb:set_theory
gptkbp:hasApplication measure theory
model theory
classification of infinite sets
gptkbp:hasConcept gptkb:continuum_hypothesis
gptkb:aleph_numbers
cardinal addition
cardinal exponentiation
cardinal multiplication
gptkbp:hasProperty associativity (for addition and multiplication)
commutativity (for addition and multiplication)
non-distributivity (for infinite cardinals)
distributivity (multiplication over addition for finite cardinals)
https://www.w3.org/2000/01/rdf-schema#label Cardinal Arithmetic
gptkbp:includes addition of cardinals
exponentiation of cardinals
multiplication of cardinals
gptkbp:relatedTo ordinal arithmetic
gptkbp:result gptkb:Cantor's_theorem
gptkb:Schroeder–Bernstein_theorem
gptkb:König's_theorem
gptkb:Cantor–Bernstein–Schroeder_theorem
gptkbp:studies cardinal numbers
operations on cardinal numbers
gptkbp:usedIn gptkb:logic
foundations of mathematics
gptkbp:bfsParent gptkb:Saharon_Shelah
gptkbp:bfsLayer 4