Timeline for Consequences of existence of a certain function from $\omega_1$ to $\omega_1$
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2020 at 15:30 | vote | accept | Todd Eisworth | ||
| Feb 10, 2020 at 7:56 | answer | added | Gabe Goldberg | timeline score: 6 | |
| Feb 10, 2020 at 2:10 | answer | added | Trevor Wilson | timeline score: 6 | |
| Feb 10, 2020 at 1:11 | comment | added | Todd Eisworth | Yes, I think the canonical function angle is exactly the sort of thing I was looking for! | |
| Feb 10, 2020 at 0:57 | comment | added | Sean Cox | Seems related to bounding by canonical functions (the example you pointed out in $L$ is a function that is, in a very strong way, NOT bounded by a canonical function). Some relevant sources might be: Deiser-Donder "Canonical functions..."; Schimmerling-Velickovic "Collapsing functions"; Jech-Shelah "A note on countable functions". | |
| Feb 9, 2020 at 13:44 | comment | added | Rahman. M | I don't know if Boban's argument in Larson's book is the same as that in his paper below, but I think it is worth taking a look at least at the introduction of his paper since in his forcing construction he uses some approximations of height functions, which I think resemble things you are looking for. www.logique.jussieu.fr/~boban/pdf/PFA_and_NS.pdf | |
| Feb 9, 2020 at 3:46 | history | edited | Todd Eisworth | CC BY-SA 4.0 |
added 10 characters in body
|
| Feb 9, 2020 at 3:38 | history | asked | Todd Eisworth | CC BY-SA 4.0 |