Naar inhoud springen

Löwenheim-getal

Uit Wikipedia, de vrije encyclopedie

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.

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