Primitive sequence system: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 July 2023

  • curprev 06:1606:16, 11 July 2023Yto talk contribs 1,733 bytes +1,733 Created page with "'''Primitive sequence system''' ('''PrSS''') is an ordinal notation system defined by BashicuHyudora. It is also a sequence system with sequences of natural numbers, and an expansion system with the base of standard form being \( \{(0,1,2,...,n) : n\in\mathbb{N}\} \) and with the expansion \( S[n] \) defined in the following way: If \( B \) is the subsequence of \( S \) such that the first element of \( B \) is the last element of \( S \) strictly smaller..."