Taranovsky's ordinal notations: Difference between revisions

Created page with "Taranovsky's ordinal notations are a collection of ordinal notation systems invented by Dmytro Taranovsky. These include degrees of recursive inaccessibility (DoRI), degrees of reflection (DoR) and the main system (MS), as well as variants such as degrees of reflection with passthrough.<ref>https://web.mit.edu/dmytro/www/other/OrdinalNotation.htm</ref> They all use a binary or ternary function symbol \(C\), but the comparison algorithms and ot..."