Timeline for Reverse mathematics of Cousin's lemma
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 13, 2020 at 3:30 | vote | accept | none | ||
| May 22, 2020 at 12:36 | comment | added | Sam Sanders | The main theme of the "Splittings and ..." paper is the following: on one hand there are only few results in second-order Reverse Mathematics where one can prove $A\leftrightarrow [B \wedge C]$ (a splitting), where $B$ and $C$ are independent and natural. There are only very few results in second-order Reverse Mathematics where one can prove $D\leftrightarrow [E \vee F]$ (a disjunction), where $E$ and $F$ are independent and natural. On the other hand, I identify a plethora of such splittings and disjunctions in higher-order Reverse Mathematics. I also discuss the cause of this observation. | |
| May 20, 2020 at 22:42 | comment | added | none | Thanks! For those following along, "Splitting and Disjunctions" is here and this paper also looks relevant. I'm still reading them. | |
| May 19, 2020 at 8:17 | history | edited | Sam Sanders | CC BY-SA 4.0 |
edited body
|
| May 18, 2020 at 10:56 | history | answered | Sam Sanders | CC BY-SA 4.0 |