Timeline for Can one satisfaction class code another?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 24, 2016 at 20:02 | vote | accept | Sam Roberts | ||
| Apr 23, 2016 at 19:25 | comment | added | Sam Roberts | Thanks for this! The proof is out of my comfort zone, so I'll leave it open for another day and accept if no one objects. (I take assignment functions to be maps from $\omega$ to $V$. Effectively, this gives us an assignment to the variables, since we can take it to assign $a(0)$ to the least variable, $a(1)$ to the next, etc (relative to some salient well-ordering of the variables)). | |
| Apr 23, 2016 at 10:00 | history | edited | user57888 | CC BY-SA 3.0 |
added 129 characters in body
|
| Apr 23, 2016 at 9:54 | history | answered | user57888 | CC BY-SA 3.0 |