Inaccessible İLE Measurable İLE Woodin ile Büyük Kardinaller
Matematik
Normal
Özet
Set kuramı büyük sonsuzluklar.
Ayrıntılı Açıklama
Large cardinals:
- Inaccessible: Erişilemez
- Measurable: Ölçülebilir
- Woodin: Determinacy
Consistency strength.
- Inaccessible: Erişilemez
- Measurable: Ölçülebilir
- Woodin: Determinacy
Consistency strength.
Formül
Con(ZFC + LC)
