Taranovsky's ordinal notations: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
No edit summary |
||
Line 3:
These were conjectured originally to be very strong, with the main system possibly reaching the full strength of [[second-order arithmetic]] and beyond. However, it is believed that, due to missing some [[Gandy ordinal|bad ordinal]] structure and other issues, the system may not even reach the subsystem of \(\Pi^1_2\)-comprehension.
One of the systems, '''MP''' (Main System with Passthrough), is known to be ill-founded.<ref>Discord message in #taranovsky-notations</ref>
== DoRI ==
| |||