Expansion 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 05:4905:49, 11 July 2023‎ Yto talk contribs‎ m 1,421 bytes +436‎ No edit summary undo
  • curprev 04:0704:07, 11 July 2023‎ Yto talk contribs‎ 985 bytes +985‎ Created page with "An '''expansion system''' is an ordinal notation system defined in a special way. It is defined through expansion, with standard form constructed from a specified set called the base of the standard form (usually with order type \( \omega \)). More precisely, the definition involves only a set S of well-formed terms, a function \( []: S\times\mathbb{N}\to S \) (where [](x,n) is written as x[n]), and a set \( X_0 \). Then with \( X \) being the closure of \( X_0 \) u..."
Retrieved from "https://apeirology.com/wiki/Expansion_system"