::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: Intro | NEXT: 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: Intro | NEXT: Abstract logic |
<< | >> |