Timeline for Comprehension axiom that helps in the opposite direction
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9, 2022 at 10:05 | comment | added | user21820 | Haha yea. Anyway, is there a better example higher up in the hierarchy of SOA where the comprehension principle is not clearly true or false? Say at the level of Π[1,1]-CA? | |
| May 9, 2022 at 2:20 | comment | added | Noah Schweber | @user21820 It was too fun not to. :P | |
| Apr 23, 2022 at 2:54 | vote | accept | Jiayi Liu | ||
| Apr 22, 2022 at 14:58 | comment | added | user21820 | Lol! You used LEM on what we want! In order to prove the existence of something we ought to be satisfied with as an answer to the question! =) | |
| Apr 22, 2022 at 1:30 | history | answered | Noah Schweber | CC BY-SA 4.0 |