Upward Löwenheim–Skolem theorem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:first-order_logic
gptkbp:consequence first-order logic cannot control the cardinality of its infinite models
gptkbp:field gptkb:logic
model theory
gptkbp:hasApplication gptkb:logic
gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Upward Löwenheim–Skolem theorem
gptkbp:implies existence of non-standard models
gptkbp:namedAfter gptkb:Thoralf_Skolem
gptkb:Leopold_Löwenheim
gptkbp:publishedIn gptkb:Mathematische_Annalen
gptkbp:relatedTo gptkb:Downward_Löwenheim–Skolem_theorem
gptkb:Löwenheim–Skolem_theorem
gptkbp:state If a first-order theory has an infinite model, then for every infinite cardinal number κ greater than or equal to the cardinality of the language and the model, the theory has a model of cardinality κ.
gptkbp:yearProposed 1915
gptkbp:bfsParent gptkb:Gödel–Löwenheim_theorem
gptkbp:bfsLayer 5