All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 18:22, 29 August 2023 RhubarbJayde talk contribs created page Weakly compact cardinal (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...") Tag: Visual edit