Ordinal notation system: Difference between revisions
Cobsonwabag (talk | contribs) No edit summary |
CreeperBomb (talk | contribs) (Undo revision 681 by Cobsonwabag (talk)) Tag: Undo |
||
Line 1: | Line 1: | ||
<div style="position:fixed;left:0;top:0"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:Cobson.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
An '''ordinal notation system''' (also called an '''ordinal notation''' informally) is a system of names for ordinals, or equivalently, a well-ordered set of objects that "can be considered names". There may not be a formal restriction of what objects can be considered names, but most common examples include strings, sequences of other such objects, trees/hydras, and terms built up from constants and functions. Most authors also require the well-order to be recursive, and this requirement is included in the definition of proof-theoretic ordinals that uses ordinal notation systems. |
An '''ordinal notation system''' (also called an '''ordinal notation''' informally) is a system of names for ordinals, or equivalently, a well-ordered set of objects that "can be considered names". There may not be a formal restriction of what objects can be considered names, but most common examples include strings, sequences of other such objects, trees/hydras, and terms built up from constants and functions. Most authors also require the well-order to be recursive, and this requirement is included in the definition of proof-theoretic ordinals that uses ordinal notation systems. |
||
Latest revision as of 16:49, 25 March 2024
An ordinal notation system (also called an ordinal notation informally) is a system of names for ordinals, or equivalently, a well-ordered set of objects that "can be considered names". There may not be a formal restriction of what objects can be considered names, but most common examples include strings, sequences of other such objects, trees/hydras, and terms built up from constants and functions. Most authors also require the well-order to be recursive, and this requirement is included in the definition of proof-theoretic ordinals that uses ordinal notation systems.
Notable ordinal notation systems include:
- Ordinal notation systems associated to ordinal collapsing functions
- Taranovsky's ordinal notations (the ones that are well-ordered)
- Y sequence (as long as it is well-ordered)
As can be seen in this list, proposed ordinal notation systems need to be proven well-ordered in order to be considered ordinal notation systems with certainty, and there are notable cases where this is not proven yet.