Sequence system: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(Possibly clearer wording) |
Cobsonwabag (talk | contribs) No edit summary |
||
| 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=]] |
|||
A '''sequence system''' is an [[ordinal notation system]] in which the terms of the notation are sequences. |
A '''sequence system''' is an [[ordinal notation system]] in which the terms of the notation are sequences. |
||
Revision as of 05:53, 25 March 2024
A sequence system is an ordinal notation system in which the terms of the notation are sequences.
Typically, it is an expansion system, with the expansion chosen so that \( x[n] \) is always lexicographically smaller than \( x \), and additionally, so that \( x[0] \) is \( x \) without its last element and \( x[n] \) is always a subsequence of \( x[n+1] \). If all of these hold, then as long as the base of its standard form is totally ordered, the order of the sequence system is identical to the lexicographical order.[1]
Notable sequence systems include Primitive sequence system, Pair sequence system, Sudden sequence system, Bashicu matrix system and Y sequence.
- ↑ Generalization of the proof of lemma 2.3 in the proof of well-foundedness of BMS