Timeline for Possible values of "Kripke rank" for formulae in IPL
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 25, 2021 at 21:46 | history | became hot network question | |||
| Oct 25, 2021 at 16:12 | vote | accept | Jordan Barrett | ||
| Oct 25, 2021 at 15:18 | answer | added | Emil Jeřábek | timeline score: 8 | |
| Oct 25, 2021 at 15:11 | comment | added | user44143 | My guess is that the Kreisel-Putnam axiom (eg mathoverflow.net/a/160067/44143) and the formulas in the Rieger-Nishimura lattice, or variants of them, will require arbitrarily high ranks. | |
| Oct 25, 2021 at 13:46 | history | asked | Jordan Barrett | CC BY-SA 4.0 |