Timeline for A well-founded relation on lists
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 12, 2015 at 8:30 | comment | added | Paul Taylor | OK I'll think about that, but I am pretty confident that the result in my paper has to be the core of the solution. | |
| Mar 11, 2015 at 23:27 | comment | added | Mike Shulman | I don't see why the map $L A \to K A$ preserves $\prec$. For instance, if $A=\mathbb{N}$ with its usual ordering, then in $L A$ we have $(3,0) \prec (3,1)$, but I don't think we have $\{3,0\} \prec \{3,1\}$ in $K A$: for $u=3\in \{3,0\}$ there is no $v\in \{3,1\}$ such that $3\prec v$. | |
| Mar 10, 2015 at 14:45 | history | edited | Paul Taylor | CC BY-SA 3.0 |
emptyset
|
| Mar 10, 2015 at 9:36 | history | answered | Paul Taylor | CC BY-SA 3.0 |