Löwenheim-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
- (en) Zhang 2002, blz. 77
Referenties
- (en) Yi Zhang, Logic and algebra 2002. ISBN 082182984X
Geplaatst op: 08-12-2018 |
Dit artikel is een beginnetje over wiskunde. U wordt uitgenodigd om op bewerken te klikken om uw kennis aan dit artikel toe te voegen. | ![]() |
This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.