Pair 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.

31 August 2023

11 July 2023

  • curprev 06:2606:26, 11 July 2023‎ Yto talk contribs‎ 1,517 bytes +1,517‎ Created page with "'''Pair sequence system''' ('''PSS''') is an ordinal notation system defined by BashicuHyudora. It is also a sequence system with sequences of pairs of natural numbers, and an expansion system with the base of standard form being \( \{((0,0),(1,1),(2,2),...,(n,n)) : n\in\mathbb{N}\} \) and with the expansion \( S[n] \) defined in the following way: - The parent of a pair \( x \) in \( S \) is the last pair before it with a smaller first element. The ance..."
Retrieved from "https://apeirology.com/wiki/Pair_sequence_system"