Timeline for Are no infinite subsets of the set of all propositional atoms definable in this structure, even with parameters?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2022 at 12:04 | comment | added | Joel David Hamkins | Your conjecture about finite/cofinite is not true, since for any given nontrivial element $b$, the set $\{x\mid x\leq b\}$ is definable from $b$ but it is neither finite nor cofinite. The definable sets, however, as I explained in my answer, are finite Boolean combinations of such trivial cones, whose vertices are the points in the finite Boolean algebra generated by the parameters, as I mention in my answer. | |
| Oct 29, 2022 at 9:52 | comment | added | Gerry Myerson | Please edit n a link to the question on m.se, and put a link to this question there. | |
| Oct 29, 2022 at 4:03 | history | edited | user107952 | CC BY-SA 4.0 |
added 207 characters in body
|
| Oct 28, 2022 at 16:08 | review | Close votes | |||
| Nov 5, 2022 at 3:08 | |||||
| Oct 28, 2022 at 10:41 | vote | accept | user107952 | ||
| Oct 28, 2022 at 9:15 | history | became hot network question | |||
| Oct 28, 2022 at 2:46 | history | edited | Joel David Hamkins |
edited tags
|
|
| Oct 28, 2022 at 2:30 | answer | added | Joel David Hamkins | timeline score: 11 | |
| Oct 28, 2022 at 1:25 | history | edited | user107952 | CC BY-SA 4.0 |
added 133 characters in body
|
| Oct 28, 2022 at 1:14 | history | asked | user107952 | CC BY-SA 4.0 |