Timeline for Good notation for finite partial functions from $\omega$ to 2
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 5, 2021 at 18:20 | comment | added | Peter Gerdes | @MonroeEskew Thanks for the tip. I looked in Kunen and when it's specifically finite partial functions he has the even shorter notation $\text{Fn}(\omega, 2)$. I mean that's nice but it seems like more akin to when someone defines good in a paper than notation that could be meaningfully recognized elsewhere. I mean it almost invites confusion with the set of finite functions. Still, this has been very helpful even if only to find out there isn't something widely accepted I should be using. | |
| Feb 5, 2021 at 18:17 | comment | added | Peter Gerdes | @AndreasBlass Ahh, that's not that helpful then but thanks. | |
| Feb 5, 2021 at 17:03 | comment | added | Monroe Eskew | Kunen uses $Fn(\omega,2,\omega)$. | |
| Feb 5, 2021 at 14:32 | comment | added | Andreas Blass | @PeterGerdes The Add$(\omega,1)$ notation refers to "the" forcing notion that adds $1$ Cohen-generic subset of $\omega$. Unfortunately, $2^{<\omega}$ and the larger set that you want are equivalent as forcing notions, so the notation Add$(\omega,1)$ can be used for either of them. | |
| Feb 5, 2021 at 14:25 | comment | added | Peter Gerdes | @AsafKaragila What is Add abbreviating here? and shouldn't that be a 2 since the range is {0,1} = 2? Or am I misunderstanding? | |
| Feb 5, 2021 at 12:46 | comment | added | Asaf Karagila♦ | $\mathrm{Add}(\omega,1)$ | |
| Feb 5, 2021 at 11:45 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals, added tag
|
| Feb 5, 2021 at 11:36 | history | asked | Peter Gerdes | CC BY-SA 4.0 |