Timeline for Hamel bases and countable unions
Current License: CC BY-SA 4.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 20 at 5:15 | audit | Reopen votes | |||
Jan 20 at 5:15 | |||||
Jan 11 at 9:08 | audit | Reopen votes | |||
Jan 11 at 9:15 | |||||
Jan 5 at 13:57 | audit | Low quality posts | |||
Jan 5 at 13:58 | |||||
Dec 30, 2023 at 23:22 | comment | added | joriki | The reference for $\neg(43\Rightarrow93)$ is on p. $341$ of Howard & Rubin (which, by the way, can be borrowed here). (I posted these as comments because they don't answer your question; I just thought they might be of interest.) | |
Dec 30, 2023 at 23:22 | comment | added | joriki | An implication table for Howard & Rubin is here. The codes are explained here. The entry for $367\Rightarrow6$ is $0$: "The status of the implication is unknown." As the Herrlich models show, $\neg(6\Rightarrow367)$; this can be traced to $43\Rightarrow8\Rightarrow94\Rightarrow6$, $367\Rightarrow366\Rightarrow93$ and $\neg(43\Rightarrow93)$. | |
Dec 30, 2023 at 22:34 | answer | added | Asaf Karagila♦ | timeline score: 4 | |
Dec 30, 2023 at 4:36 | history | edited | ac15 |
added a pertinent tag
|
|
Dec 30, 2023 at 4:30 | history | asked | ac15 | CC BY-SA 4.0 |