Timeline for Is this extension of the projectively extended real line, consistent?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2022 at 20:44 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 27 characters in body
|
| Dec 1, 2022 at 11:54 | vote | accept | Zuhair Al-Johar | ||
| Nov 24, 2022 at 11:08 | comment | added | Zuhair Al-Johar | @LSpice, I didn't start with a model of my theory, I never gave the details of the construction of any model of the purported theory as a set in $\sf ZFC$ in my question, I've just made a claim for extending the theory about projectively extending the real line with the expressions I've set; I didn't say I have a model of those, and even if there was an implicit suggestion of existence of such a model, I didn't show it, this answer proves the consistency of this theory by proving an interpretation of it in $\sf ZFC$. Of course the model would be $(\hat {\mathbb R}, =, +, -, \times, /)$ | |
| Nov 23, 2022 at 22:38 | comment | added | LSpice | As @NoahSchweber points out, you start with a model of your theory, so of course your theory is consistent; and it seems that what is left to ask, which was discussed at some length in the comments, is for what this theory is interesting or useful. So, given that the theory is already consistent, what is really being proven here? | |
| Nov 23, 2022 at 22:09 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 2 characters in body
|
| Nov 23, 2022 at 20:13 | history | undeleted | Zuhair Al-Johar | ||
| Nov 23, 2022 at 20:08 | history | deleted | Zuhair Al-Johar | via Vote | |
| Nov 23, 2022 at 18:50 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 436 characters in body
|
| Nov 23, 2022 at 18:50 | history | undeleted | Zuhair Al-Johar | ||
| Nov 23, 2022 at 14:02 | history | deleted | Zuhair Al-Johar | via Vote | |
| Nov 23, 2022 at 14:01 | history | answered | Zuhair Al-Johar | CC BY-SA 4.0 |