All Questions
1 question with no upvoted or accepted answers
2
votes
0
answers
84
views
Seeking name for an order raising operator in Higher Order Arithmetic.
Any class $X$ of order $j$ in HOA is in bijection with the order $j+1$ class built up from singletons $\{x\}$ of natural numbers $x$ just the way that $X$ is built up from the numbers $x$. And of ...
- 11.2k