All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:03, 11 July 2023 Yto talk contribs created page Sequence system (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...") Tag: Visual edit: Switched