Page history
Jump to navigation
Jump to search
1 September 2023
30 August 2023
29 August 2023
C7X
no edit summary
+518
RhubarbJayde
Created page with "A weakly compact cardinal is a certain kind of large cardinal. They were originally defined via a certain generalization of the compactness theorem for first-order logic to certain infinitary logics. However, this is a relatively convoluted definition, and there are a variety of equivalent definitions. These include, letting \(\kappa\) be the cardinal in question and assuming \(\kappa^{< \kappa} = \kappa\): * \(\kappa\) is 0-Ramsey. * \(\kappa\) is \(\Pi^1_1\)-indes..."
+1,057