Timeline for A Question related to the Formula Hierarchy
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2014 at 17:25 | vote | accept | Frode Alfson Bjørdal | ||
| Oct 30, 2014 at 14:38 | |||||
| Oct 29, 2014 at 17:23 | comment | added | Frode Alfson Bjørdal | I am also interested in the foundational issues here, and even true complexity. As a follow up, this reminds me of Skolem functions. Is my association to the point? | |
| Oct 29, 2014 at 17:11 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 8 characters in body
|
| Oct 29, 2014 at 17:04 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 1009 characters in body
|
| Oct 29, 2014 at 16:58 | history | answered | Noah Schweber | CC BY-SA 3.0 |