All Questions

Gostanian's paper "The next admissible ordinal" (see https://www.sciencedirect.com/science/article/pii/0003484379900251 ), is concerned with the supremum of the $\alpha$-recursive ordinals for various ...

Jensen proved that, if V=L, and $\kappa$ is a regular cardinal, then if for any stationary $A\subseteq \kappa$, the set $\{\alpha\mid A \text{ is stationary below }\alpha\}$ is stationary in $\kappa$, ...

Consider the following statement (which follows easily from various results found in the literature): (†) There exists a primitive recursive (“p.r.”) relation $T$ on the ordinals such that, if $(...

This question is based on the assumption that all computations start with no ordinal parameters (i.e. the input is empty). The term “stabilization time of a machine” for this question implies the ...