Timeline for How do I express a second order restriction upon a third order comprehension schema?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 19, 2017 at 3:31 | history | edited | Michael Hardy | CC BY-SA 3.0 |
added 41 characters in body
|
| Apr 18, 2017 at 3:11 | history | edited | Frode Alfson Bjørdal | CC BY-SA 3.0 |
Deleted an occurrence of (with $\beta$ $\Pi^1_1$).
|
| Apr 18, 2017 at 2:55 | history | edited | Frode Alfson Bjørdal | CC BY-SA 3.0 |
Changed \varphi to \beta
|
| Apr 18, 2017 at 2:38 | history | edited | Frode Alfson Bjørdal |
I added the tag for set theory.
|
|
| Apr 18, 2017 at 2:17 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |