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[bewerken | brontekst bewerken]
Referenties[bewerken | brontekst bewerken]
- (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. | 
|