Timeline for Ordering patterns of projecta by least witness
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 29, 2023 at 6:26 | history | edited | C7X |
Tagging with relevant tag
|
|
| Jul 24, 2022 at 2:13 | vote | accept | C7X | ||
| Jul 24, 2022 at 1:41 | history | edited | Farmer S |
Added set-theory tag
|
|
| Jul 24, 2022 at 1:02 | answer | added | Farmer S | timeline score: 3 | |
| Jul 23, 2022 at 23:46 | history | edited | C7X | CC BY-SA 4.0 |
My work wasn't rigorous enough to include
|
| Jul 23, 2022 at 23:30 | comment | added | C7X | I am not sure if I should add the [constructibility] tag or not, since this asks more about the poset $(\{s\in\mathbb N^+\mid s\textrm{ increasing}\},<_\rho)$ than the projecta themselves. | |
| Jul 23, 2022 at 23:26 | history | asked | C7X | CC BY-SA 4.0 |