Actions

::Löwenheim number

::concepts



In mathematical logic the Löwenheim number of an abstract logic is the smallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds.<ref>Zhang 2002 page 77</ref> They are named after Leopold Löwenheim, who proved that these exist for a very broad class of logics.


Löwenheim number sections
Intro   Abstract logic    Definition    Extensions    Examples   Notes  References  

PREVIOUS: IntroNEXT: Abstract logic
<<>>

Logic::wenheim    Number::ndash    Model::''l''    Cardinal::kappa    Sentence::skolem    Which::smallest

In mathematical logic the Löwenheim number of an abstract logic is the smallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds.<ref>Zhang 2002 page 77</ref> They are named after Leopold Löwenheim, who proved that these exist for a very broad class of logics.


Löwenheim number sections
Intro   Abstract logic    Definition    Extensions    Examples   Notes  References  

PREVIOUS: IntroNEXT: Abstract logic
<<>>