Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 40324

An ordinal is the order type of a well-ordered set. The first few ordinals are $0, 1, 2, \dots, \omega, \omega+1, \dots$ where $\omega$ is the order type of $\mathbb{N}$, and $\omega+1$ is the order type of $\mathbb{N}$ together with a maximum element.

1 vote

Finite Number of Registers and Computable Well-Orderings

For question 2(A), one register can of course only be the predecessor function so you can only go up to $\omega$. For $n$ registers with $n \ge 2$, the ordinal $\varphi(n-1,0)$ is the highest ordinal …
Deedlit's user avatar
  • 141
3 votes

Anything known about the Grundy Ordinal of Sylver's Coinage

One thing we do know about the Grundy number of a position is that it is less than or equal to the ordinal representing the maximum length of the game starting from that position; to be precise, defin …
Deedlit's user avatar
  • 141