Timeline for Interpreting PA2 in second-order logic + existence of infinitely many objects
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 30, 2019 at 8:49 | vote | accept | Thomas Schindler | ||
| Oct 29, 2019 at 18:56 | answer | added | Fedor Pakhomov | timeline score: 1 | |
| Oct 29, 2019 at 18:34 | comment | added | Andreas Blass | If you have a Dedekind-infinite collection $C$ of objects, that means you have a one-to-one function $S:C\to C$ and an element $z\in C$ that is not in the range of $S$. Then a reasonable definition of the set $N$ of natural numbers would be the intersection of all subsets of $C$ that contain $z$ and are closed under $S$ (with $z$ serving as zero and $S$ as the successor function). | |
| Oct 29, 2019 at 13:34 | history | edited | Thomas Schindler | CC BY-SA 4.0 |
added 164 characters in body
|
| Oct 29, 2019 at 12:30 | review | First posts | |||
| Oct 29, 2019 at 13:56 | |||||
| Oct 29, 2019 at 12:26 | history | asked | Thomas Schindler | CC BY-SA 4.0 |