Timeline for Thinning chains of elementary extensions
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 31, 2023 at 18:27 | comment | added | Binary198 | 1. The definition of f-uplifting onto X above t is the condition in the first blockquote but just for that fixed t, not all t. 2. No idea why lol | |
| Jan 30, 2023 at 16:18 | comment | added | C7X | Revisiting this question, two more things: 1. "$f$-uplifting onto $X$ above $\theta$" is used in the second block paragraph but doesn't seem to be defined in the first one, 2. why use $f'(\kappa)$ in the definition rather than up front using $f$-upliftingness for, e.g. constant function $f$? (I know there is a convention from the googology community for stable ordinals, but this seems easier to use the function that we call $f'$ to begin with) | |
| Jan 28, 2023 at 16:37 | history | edited | Binary198 | CC BY-SA 4.0 |
added 14 characters in body
|
| May 13, 2022 at 16:53 | history | edited | Binary198 | CC BY-SA 4.0 |
added 4 characters in body
|
| May 13, 2022 at 16:53 | comment | added | Binary198 | Good point. Done. | |
| S May 12, 2022 at 16:26 | history | suggested | C7X | CC BY-SA 4.0 |
Formatting may be clearer
|
| May 12, 2022 at 15:58 | review | Suggested edits | |||
| S May 12, 2022 at 16:26 | |||||
| May 12, 2022 at 15:54 | comment | added | C7X | "iff, for every ordinal $\theta$, $\kappa\in\textrm{dom}(f')$ and there is a ...". What if we replace this with "iff $\kappa\in\textrm{dom}(f')$ and, for every ordinal $\theta$, there is a ...", i.e. moving the $\kappa\in\textrm{dom}(f')$ outside the scope of $\theta$'s quantification? | |
| S May 12, 2022 at 10:01 | history | suggested | C7X |
Added a relevant tag
|
|
| May 12, 2022 at 5:32 | review | Suggested edits | |||
| S May 12, 2022 at 10:01 | |||||
| May 7, 2022 at 21:16 | history | edited | Binary198 | CC BY-SA 4.0 |
Bumped
|
| May 4, 2022 at 16:52 | history | edited | Binary198 | CC BY-SA 4.0 |
added 15 characters in body
|
| May 2, 2022 at 13:10 | history | asked | Binary198 | CC BY-SA 4.0 |