User contributions for C7X
Jump to navigation
Jump to search
6 June 2024
- 20:5020:50, 6 June 2024 diff hist −1 Reflection principle →Justification and motivation for large cardinal axioms current
- 20:4920:49, 6 June 2024 diff hist 0 Reflection principle →Justification and motivation for large cardinal axioms
31 May 2024
- 21:1021:10, 31 May 2024 diff hist −28 Axiom of determinacy →References current Tag: Manual revert
- 21:1021:10, 31 May 2024 diff hist +28 Axiom of determinacy No edit summary
- 21:1021:10, 31 May 2024 diff hist +362 Axiom of determinacy Small cardinals under AD
16 March 2024
- 01:1201:12, 16 March 2024 diff hist +35 Church-Kleene ordinal Correction
24 February 2024
- 19:5919:59, 24 February 2024 diff hist +146 Reflection principle No edit summary
2 February 2024
- 04:3304:33, 2 February 2024 diff hist +39 List of ordinals No edit summary current
- 02:4402:44, 2 February 2024 diff hist +59 List of ordinals No edit summary
- 02:4302:43, 2 February 2024 diff hist −1 List of ordinals No edit summary
- 02:4302:43, 2 February 2024 diff hist 0 List of ordinals No edit summary
- 02:4202:42, 2 February 2024 diff hist +338 List of ordinals No edit summary
30 January 2024
- 23:4723:47, 30 January 2024 diff hist +272 List of ordinals Seems unusual to see "L_(recursive ordinal) n P(omega) models (a theory of second-order arithmetic)"
26 January 2024
- 05:5805:58, 26 January 2024 diff hist +755 List of ordinals No edit summary
24 January 2024
- 11:3611:36, 24 January 2024 diff hist +224 List of ordinals No edit summary Tags: Mobile edit Mobile web edit
- 10:0810:08, 24 January 2024 diff hist +1 List of ordinals No edit summary
- 10:0810:08, 24 January 2024 diff hist +19 List of ordinals Justification
19 January 2024
- 07:1807:18, 19 January 2024 diff hist −28 List of ordinals No edit summary
- 07:1507:15, 19 January 2024 diff hist +451 List of ordinals Projective determinacy, Σ^1_(n+2)-rfl. and Π^1_(n+2)-rfl.
- 07:0707:07, 19 January 2024 diff hist +10 List of ordinals No edit summary
18 January 2024
- 10:5010:50, 18 January 2024 diff hist +169 List of ordinals No edit summary
- 10:4510:45, 18 January 2024 diff hist −3 List of ordinals No edit summary
- 10:2810:28, 18 January 2024 diff hist +2 List of ordinals No edit summary
- 08:0508:05, 18 January 2024 diff hist −8 List of ordinals Possible better searchability
- 06:3606:36, 18 January 2024 diff hist +237 List of ordinals No edit summary
- 06:3106:31, 18 January 2024 diff hist +26 List of ordinals No edit summary
- 06:2706:27, 18 January 2024 diff hist +524 List of ordinals No edit summary
- 05:1005:10, 18 January 2024 diff hist +45 List of ordinals No edit summary
- 05:0405:04, 18 January 2024 diff hist +124 List of ordinals No edit summary
- 04:4604:46, 18 January 2024 diff hist 0 List of ordinals No edit summary
- 04:4304:43, 18 January 2024 diff hist +35 Zero sharp No edit summary current
23 October 2023
- 20:4820:48, 23 October 2023 diff hist +19 User talk:RhubarbJayde/REL-NPR No edit summary current
- 01:0901:09, 23 October 2023 diff hist −3 User talk:RhubarbJayde/REL-NPR →Subdivision candidates
22 October 2023
- 23:2323:23, 22 October 2023 diff hist +134 User talk:RhubarbJayde/REL-NPR →Subdivision candidates
- 23:2123:21, 22 October 2023 diff hist +1,547 N User talk:RhubarbJayde/REL-NPR →Subdivision candidates: new section Tag: New topic
- 17:0317:03, 22 October 2023 diff hist +3 Veblen hierarchy No edit summary current
- 11:3711:37, 22 October 2023 diff hist 0 Disjoint union Undo revision 601 by C7X (talk) Tag: Undo
- 11:3711:37, 22 October 2023 diff hist 0 Disjoint union {0,1} used later
- 11:3511:35, 22 October 2023 diff hist +15 Taranovsky's ordinal notations No edit summary
21 October 2023
- 03:3803:38, 21 October 2023 diff hist +2 Large Veblen ordinal No edit summary current
2 October 2023
- 06:3906:39, 2 October 2023 diff hist +11 Correct cardinal No edit summary
- 06:3806:38, 2 October 2023 diff hist +1 Correct cardinal No edit summary
- 06:3606:36, 2 October 2023 diff hist +496 N 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..."
- 05:5405:54, 2 October 2023 diff hist +21 Reflection principle →Levy-Montague reflection
27 September 2023
- 06:0706:07, 27 September 2023 diff hist +112 Ordinal collapsing function →History
- 06:0606:06, 27 September 2023 diff hist +457 Ordinal collapsing function →History
21 September 2023
- 20:3420:34, 21 September 2023 diff hist +51 Taranovsky's ordinal notations No edit summary
19 September 2023
- 13:4813:48, 19 September 2023 diff hist 0 Uniformity No edit summary current
- 13:4713:47, 19 September 2023 diff hist +2 Uniformity No edit summary
- 13:4713:47, 19 September 2023 diff hist +25 Uniformity No edit summary