Timeline for Is the set of primes implicitly definable from successor?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 11, 2022 at 11:39 | comment | added | Fedor Pakhomov | @AkivaWeinberger Monadic second-order language expands first-order language by allowing quantification over unary predicates. | |
| Jul 11, 2022 at 10:53 | comment | added | Akiva Weinberger | What does "monadic" mean? | |
| Jul 11, 2022 at 2:22 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
DOI links
|
| Jul 10, 2022 at 21:28 | vote | accept | Geoffrey Irving | ||
| Jul 10, 2022 at 21:23 | comment | added | Joel David Hamkins | Ah, I had just came to this same conclusion on my afternoon walk and was coming here now to post it. Very good. | |
| Jul 10, 2022 at 19:52 | history | answered | Fedor Pakhomov | CC BY-SA 4.0 |