ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES (Q4638982)
From MaRDI portal
scientific article; zbMATH DE number 6865719
Language | Label | Description | Also known as |
---|---|---|---|
English | ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES |
scientific article; zbMATH DE number 6865719 |
Statements
ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES (English)
0 references
2 May 2018
0 references
weakly compact cardinal
0 references
Zermelo-Fraenkel set theory
0 references
Gödel-Bernays class theory
0 references