Timeline for Translating basic number theory to the monadic theory of the real line
Current License: CC BY-SA 4.0
20 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Feb 13, 2020 at 15:13 | history | suggested | RobPratt |
Removed monads tag
|
|
| Feb 13, 2020 at 13:29 | review | Suggested edits | |||
| S Feb 13, 2020 at 15:13 | |||||
| Feb 13, 2020 at 12:49 | comment | added | user44143 | @RobPratt, there are no monads here. The logic here is monadic in that you can quantify over subsets of $\mathbf{R}$, but not over subsets of $\mathbf{R}^n$ for $n>1$. | |
| S Feb 13, 2020 at 9:26 | history | suggested | RobPratt |
added monads tag
|
|
| Feb 13, 2020 at 4:21 | review | Suggested edits | |||
| S Feb 13, 2020 at 9:26 | |||||
| Jul 25, 2019 at 19:13 | vote | accept | CommunityBot | moved from User.Id=44143 by developer User.Id=481663 | |
| Jul 13, 2019 at 18:29 | answer | added | user44143 | timeline score: 1 | |
| Jul 8, 2019 at 2:40 | answer | added | Gerhard Paseman | timeline score: -3 | |
| Jul 8, 2019 at 0:00 | comment | added | user44143 | @GerhardPaseman, that is spelled out in my update to the post. | |
| Jul 7, 2019 at 23:34 | comment | added | Gerhard Paseman | Then you have the formula thetaij, and now you can run the rest of the machine, where the instructions are spelled out explicitly. Where is the first step in running the machine where you have problems? Gerhard "Hanging On To My Preference" Paseman, 2019.07.07. | |
| Jul 7, 2019 at 21:35 | comment | added | Gerhard Paseman | My preference would be to keep the comments and help you answer your question. I have not done an answer because it is not clear if doing the Skolem form (what I call the G1 process after interpreting the paper) is what you would like answered, or if there is a different hurdle to clear. The present clarification does not help me understand your specific challenge. Gerhard "May End Up Deleting This" Paseman, 2019.07.07. | |
| Jul 7, 2019 at 21:19 | history | edited | user44143 | CC BY-SA 4.0 |
edited body
|
| Jul 7, 2019 at 21:16 | comment | added | user44143 | @GerhardPaseman, would you be willing to delete the three comments before this now that I've edited the question to clarify those issues? | |
| Jul 7, 2019 at 21:12 | history | edited | user44143 | CC BY-SA 4.0 |
clarified in response to @GerhardPaseman
|
| Jun 26, 2019 at 0:48 | comment | added | Gerhard Paseman | First you do the G1 process on them to get some Skolem form . This is an AE form spelled out in that paragraph with a bunch of theta_ij which are atomic or negated atomic, and have some form of your S and M. Then you run the machine on the theta_ij. (I need more time to understand G1 process.) Gerhard "Does This Break It Down?" Paseman, 2019.06.25. | |
| Jun 25, 2019 at 23:48 | comment | added | Gerhard Paseman | OK. I don't get it well enough to give a high level and accurate picture of what is going on, but now I can answer some specific questions. Note that this is a relational version of arithmetic that is being handled. Answering your question directly will be easy: you can't because your statements aren't relational. We can do a relational form of them however. What do you want next? Gerhard "Not Quite Ready To Post" Paseman, 2019.06.25. | |
| Jun 25, 2019 at 21:44 | comment | added | Gerhard Paseman | OK. It does require a registered account though. In the meantime, I found what I think is the procedure you mention. It is in the proof of theorem 7.10, where it shows how to make $G_1(\theta)$ from $\theta$. If this is it, I will spend time seeing if I can help. Gerhard "If Not, Then Something Else" Paseman, 2019.06.15. | |
| Jun 25, 2019 at 21:33 | comment | added | user44143 | @GerhardPaseman, the JSTOR access to this article is free, even for non-academics. | |
| Jun 25, 2019 at 21:31 | comment | added | Gerhard Paseman | Can you describe (or post a link to) the procedure itself on pp. 415-416 that isn't pay walled? Or describe the first bit of it that is challenging? My hope is that bears enough resemblance to work of Zamjatin (interpreting graphs into rings) that I studied that I might shed some light. Gerhard "Sorry, This Space Is Reserved" Paseman, 2019.06.25. | |
| Jun 25, 2019 at 15:42 | history | asked | user44143 | CC BY-SA 4.0 |