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).

• 06:36, 2 October 2023 C7X talk contribs created page Correct cardinal (Created page with "A \(\Sigma_n\)-correct cardinal is a cardinal \(\kappa\) such that \(V_\kappa\) is a \(\Sigma_n\)-elementary substructure of \(V\), where \(\Sigma_n\) is from the Lévy hierarchy.{{citation needed}} A regular cardinal is \(\Sigma_2\)-correct iff for every first-order formula \(\phi(x)\) and any \(x\in H_\kappa\), if \(\exists\alpha(H_\alpha\vDash\phi(x)\)<ref>, then there is a \(\beta<\kappa\) such that \(H_\beta\vDash\phi(x)\). [https://logicdavid.github.io/files/mthes...")