Naar inhoud springen

Löwenheim-getal

Uit Wikipedia, de vrije encyclopedie
Dit is de huidige versie van de pagina Löwenheim-getal voor het laatst bewerkt door Hoopje (overleg | bijdragen) op 22 apr 2020 22:44. Deze URL is een permanente link naar deze versie van deze pagina.
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)

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