Löwenheim-getal

(Doorverwezen vanaf Lowenheim-getal)

In de wiskundige logica is het Löwenheim-getal[1] van een abstracte logica het kleinste kardinaalgetal, waarvoor de zwakke neerwaartse stelling van Löwenheim-Skolem geldt.[1] Het Löwenheim-getal is vernoemd naar de Duitse wiskundige Leopold Löwenheim, die bewees dat het Löwenheim-getal bestaat voor een zeer brede klasse van logica's.

Voetnoten

bewerken
  1. a b (en) Zhang 2002, blz. 77

Referenties

bewerken