Timeline for Simplified method of building an Aronszajn tree
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19 at 13:01 | vote | accept | Mike Battaglia | ||
| Mar 19 at 10:45 | answer | added | KP Hart | timeline score: 4 | |
| Mar 14 at 11:39 | comment | added | Asaf Karagila♦ | If you look at the notes on Axiomatic Set Theory on my website, Theorem 9.2 has a construction of an Aronszajn tree which may be closer to what you imagine here. | |
| Mar 13 at 15:05 | comment | added | new account | This seems to work, but you need to explain: why does a branch that extends $\sigma$ and has supremum $q+\sup\sigma$ exist for each $q$? I think that's the purpose of choosing those $\omega$-sequences. See also Theorem III.5.12 of Kunen or Theorem 9.16 of Jech. They (as well as Roitman, and your proposed construction) are all essentially the same, up to minor notational variations | |
| Mar 11 at 21:32 | history | edited | Mike Battaglia | CC BY-SA 4.0 |
latex
|
| Mar 11 at 21:22 | history | asked | Mike Battaglia | CC BY-SA 4.0 |