Correct cardinal: Revision history

25 March 2024

• curprev 16:5016:50, 25 March 2024‎ CreeperBomb talk contribs‎ 508 bytes −2,039‎ Undo revision 684 by Cobsonwabag (talk) undo Tag: Undo
• curprev 05:5705:57, 25 March 2024‎ Cobsonwabag talk contribs‎ 2,547 bytes +2,039‎ No edit summary undo

2 October 2023

• curprev 06:3906:39, 2 October 2023‎ C7X talk contribs‎ 508 bytes +11‎ No edit summary undo
• curprev 06:3806:38, 2 October 2023‎ C7X talk contribs‎ 497 bytes +1‎ No edit summary undo
• curprev 06:3606:36, 2 October 2023‎ C7X talk contribs‎ 496 bytes +496‎ 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..."