Page history
Jump to navigation
Jump to search
25 March 2024
29 August 2023
11 July 2023
Yto
tex
m+36
Yto
Created page with "A '''sequence system''' is an ordinal notation system in which sequences are well-ordered. 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 lexicogr..."
+808