bn:02252362n
Noun Concept
PT
No term available
EN
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. Wikipedia
Relations
Sources