Timeline for What is the proof-theoretic ordinal of bare $\mathsf{NFU}$?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 14, 2021 at 1:21 | comment | added | andrey bovykin | If one, perhaps accidentally, is interested in the strength of NFUM ---- it has been worked out by Zachiri McKenzie and myself in terms of the hierarchy of baby measurable cardinals (preprint widely available). The results for NFUA and NFUB by Ali Enayat and Robert -Solovay are by now classics. The answer for NFU is old and known. The connection with strong cuts in models of arithmetic is not yet explored. | |
| Apr 1, 2021 at 23:13 | vote | accept | James E Hanson | ||
| Apr 1, 2021 at 20:53 | answer | added | Ali Enayat | timeline score: 9 | |
| Mar 31, 2021 at 18:30 | history | edited | James E Hanson | CC BY-SA 4.0 |
Removed parenthetical comment because it is no longer true and doesn't really serve a purpose now.
|
| Mar 31, 2021 at 18:17 | history | edited | James E Hanson | CC BY-SA 4.0 |
edited body
|
| Mar 31, 2021 at 18:05 | history | asked | James E Hanson | CC BY-SA 4.0 |