Timeline for A different ordering on ${\cal P}(\omega)$
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2017 at 12:32 | vote | accept | Dominic van der Zypen | ||
| Oct 24, 2017 at 12:32 | comment | added | Dominic van der Zypen | Right - now that I had a look at it again, I agree! I'll accept it | |
| Oct 24, 2017 at 11:24 | comment | added | Nik Weaver | Oh, good. So if $A$ and $B$ are both infinite, that is the same as $A=B$ and thus the order is as I described. So I think my solution is still correct. | |
| Oct 24, 2017 at 8:12 | comment | added | Dominic van der Zypen | I want $f(A)$ to be a down-set inside $B$... does that make any sense, and I'm still not 100% sure the resulting relation is anti-symmetric (pretty sure though, for what it's worth) | |
| Oct 24, 2017 at 6:24 | history | edited | Dominic van der Zypen | CC BY-SA 3.0 |
added 182 characters in body
|
| Oct 24, 2017 at 1:10 | comment | added | Nik Weaver | Dominic, Andreas Blass points out that every infinite subset is $\leq_{inj}$ every other infinite subset. Surely you meant what I read it as, with $f(A) = B$, not $f(A) \subseteq B$? | |
| Oct 23, 2017 at 14:33 | vote | accept | Dominic van der Zypen | ||
| Oct 24, 2017 at 6:20 | |||||
| Oct 23, 2017 at 13:19 | answer | added | Nik Weaver | timeline score: 5 | |
| Oct 23, 2017 at 11:55 | history | edited | Dominic van der Zypen | CC BY-SA 3.0 |
added 1 character in body
|
| Oct 23, 2017 at 8:41 | vote | accept | Dominic van der Zypen | ||
| Oct 23, 2017 at 11:04 | |||||
| Oct 23, 2017 at 7:07 | history | asked | Dominic van der Zypen | CC BY-SA 3.0 |