Timeline for Translating basic number theory to the monadic theory of the real line
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2020 at 4:12 | history | edited | user44143 | CC BY-SA 4.0 |
fixed Peano axiom for addition
|
| Aug 16, 2019 at 14:20 | history | edited | user44143 | CC BY-SA 4.0 |
rearranged
|
| Jul 25, 2019 at 19:13 | vote | accept | CommunityBot | moved from User.Id=44143 by developer User.Id=481663 | |
| Jul 15, 2019 at 15:24 | history | edited | user44143 | CC BY-SA 4.0 |
removed unnecessary $\bigvee \bigwedge$ format, added notes on other typos and confusions
|
| Jul 13, 2019 at 19:53 | history | edited | user44143 | CC BY-SA 4.0 |
added 9 characters in body
|
| Jul 13, 2019 at 19:29 | history | edited | user44143 | CC BY-SA 4.0 |
added 36 characters in body
|
| Jul 13, 2019 at 18:42 | history | edited | user44143 | CC BY-SA 4.0 |
added 40 characters in body
|
| Jul 13, 2019 at 18:34 | history | edited | user44143 | CC BY-SA 4.0 |
added 11 characters in body
|
| Jul 13, 2019 at 18:29 | history | answered | user44143 | CC BY-SA 4.0 |