Timeline for Interpreting PA2 in second-order logic + existence of infinitely many objects
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 30, 2019 at 8:49 | vote | accept | Thomas Schindler | ||
| Oct 29, 2019 at 18:56 | history | answered | Fedor Pakhomov | CC BY-SA 4.0 |