The smallest initial ordinal which is not defined using first-order formulas with parameters of smaller ordinals?

Let $\theta_\alpha$ be the smallest ordinal such that there is no first-order formula $\phi$ such that:

$$\exists\beta_0,\beta_1...\beta_n\in\alpha\forall x(\phi(x,\theta_{\beta_0},\theta_{\beta_1}...\theta_{\beta_n})\Leftrightarrow x=\theta_\alpha)$$

Unless $\alpha=0$, in which case $\theta_0$ is the smallest ordinal with no first-order formula $\phi$ such that:

$$\forall x(\phi(x)\Leftrightarrow x=\theta_0)$$

With this definition, $\alpha\leq\theta_\alpha<|\alpha|^+$ (and thus $|\theta_\alpha|=|\alpha|$). These two arguments are shown separately from one another. ($\alpha\leq\theta_\alpha$ is because $\theta_\alpha$ is greater than or equal to a certain normal function at every point, and $\theta_\alpha<|\alpha|$ because for the set of all first-order formulas $\phi(v)$, which has cardinality $\aleph_0$, it can be shown that $\theta_\alpha$ has an injection onto $\aleph_0\cdot{}^{<\omega}|\alpha|$.)

However, because $\theta$ itself is not a normal function, it is currently unknown whether or not $\theta$ has any fixed points at all. If $\theta_\kappa=\kappa$ for an initial ordinal $\kappa$, then $\kappa$ is an $\aleph$-fixed point, a fixed point of the enumeration of those, etc.

It is also known (using a simple argument from Klev's $\mathcal{O}^{++}$) that $\theta_0>\zeta$ where $\zeta$ is the supremum of all eventually writable ordinals. This should give one an idea of how large these ordinals are. In fact, $\theta_0$ is the supremum of all first-order defined ordinal notation supremums. This information is not very pertinent to the question at hand, however.

Let $\Theta_0$ be the smallest $\kappa$ such that $\theta_\kappa=\kappa$. If $\Theta_0$ is inaccessible, it is the $\Theta_0$-th inaccessible. If $\Theta_0$ is Mahlo, it is the $\Theta_0$-th Mahlo. If $\Theta_0$ is Measurable, it is the $\Theta_0$-th Measurable. In general, if $\phi(\Theta_0)$ holds for a first-order formula $\phi$, then $\Theta_0$ is the $\Theta_0$-th ordinal such that $\phi(\kappa)$ holds.

My question is this: Are there any initial ordinals $\kappa$ such that $\theta_\kappa=\kappa$? If so, what is the minimum of them? What axiomatic requirements are necessary for such a cardinal (if any other than ZF)?

A bonus question which is completely unnecessary and possibly more difficult is generalizing this to $n$-th order logic, $\Sigma_n$, $\Pi_n$, or $\Delta_n$ formulas.

• Do you restrict the complexity of $\phi$ in some way? Otherwise, it is possible that all ordinals are definable without parameters. – Yair Hayut Oct 11 '17 at 8:52
• Following up on Yair's comment: arxiv.org/abs/1105.4597 – Noah Schweber Oct 11 '17 at 13:29
• @Yair I restrict $\phi$ to be finite and first-order. I also restrict you to only look at "Tall" models (models which contain every ordinal in $V$) – Zetapology Oct 11 '17 at 14:30
• I feel like this is quite like your previous question mathoverflow.net/q/281377/1058. As was explained there, by Yair, it is not clear without further assumptions that even $\theta_0$ exists, so could you spell out exactly what you have in mind? Do you want your models to have access to a truth predicate, for example? – Miha Habič Oct 11 '17 at 16:27
• I would simply like to see if any models of ZFC have $\theta_0$ and if so what axioms are required to restrict ZFC to said models. – Zetapology Oct 11 '17 at 17:03

Under reasonable assumptions (to avoid such things as pointwise-definable models), there is indeed a $\kappa$ with $\theta_\kappa=\kappa$ and $cf(\kappa)=\omega$.

To see this, let $M(\alpha)$ be the supremum of the ordinals definable with parameters $<\alpha$. Note that $M(\alpha)$ is not necessarily defined in an arbitrary model of ZFC - e.g. in a pointwise definable model, $M(0)$ already doesn't exist. Now we define a sequence of ordinals as follows:

• $\beta_0=0$.

• $\beta_{n+1}=\vert M(\theta_{\beta_n})\vert^+$.

Let $\kappa=\sup\beta_i$. Clearly $\kappa$ is an initial ordinal with cofinality $\omega$, and $\theta_\kappa=\kappa$ follows immediately from the fact that $\kappa>M(\beta)$ for all $\beta<\kappa$. And in fact, by extending the $\beta$-sequence through $Ord$ in the obvious way, we get a club of $\theta$-fixed points (since $\theta_{\beta_\lambda}=\beta_\lambda$ whenever $\lambda$ is a nonzero limit ordinal).

The point is that while the function $\theta(-)$ itself need not be continuous everywhere, its composition with a sufficiently fast-growing function will be - we "smooth out" $\theta(-)$ with $\vert M(-)\vert^+$. And note that this trick will work if we replace first-order logic with an arbitrary logic, so long as the appropriate suprema for that logic always exist.

It is not immediately clear to me whether the $\kappa=\beta_\omega$ above is (in appropriate models anyways) the least initial ordinal which is a $\theta$-fixed point.

• So this does solve the second question in the comments, but the question of what axiomatic requirements are necessary to warrant the existence of $\Theta_0$ are there; for example, does the existence of a weakly inaccessible imply the existence of $\Theta_0$? I still accept this question and commend you for your answer however. – Zetapology Oct 12 '17 at 3:10
• @Zetapology See Theorem 4 and Observation 5 of this paper on pointwise definable models. If $P$ is a large cardinal compatible with V=HOD (and this includes basically everything), then we can have pointwise definable models realizing $P$ - and in a pointwise definable model, even $\theta_0$ doesn't exist. So you won't get such a simple sufficient condition. (That paper is well worth a read by the way, especially given your interests.) – Noah Schweber Oct 12 '17 at 3:26
• Wow... I guess this cardinal is simply a really strong, yet somehow small type of cardinal. – Zetapology Oct 12 '17 at 4:00
• Does the existence of a critical point of some nontrivial elementary embedding from $j:\mathrm{HOD}\rightarrow\mathrm{HOD}$ imply the existence of at least $\theta_0$? I know every Reinhardt cardinal is a $\theta$-Fixed point. – Zetapology Oct 12 '17 at 4:06
• In fact, if $M$ is a transitive inner model of ZFC such that for every first order $\phi$ and every $v$ a finite sequence of ordinals in $M$, $\phi(v)\Leftrightarrow M\models\phi(v)$ (i.e. $M$ is almost "complete" in a sense), then the critical point of an elementary embedding $j:V\rightarrow M$ is always a theta fixed point. – Zetapology Oct 12 '17 at 4:19