---
title: 'C²(ω, aa): Canonical Inner Model'
url: https://www.emergentmind.com/topics/c2-omega-aa
type: topic
---

# C²(ω, aa): Canonical Inner Model

\(C2(\omega,aa)\), more commonly written \(C^2(\omega,aa)\), is an inner model obtained by applying the \(C(\mathcal L)\)-construction to the logic \(\mathcal L^2_\omega(aa)\), the extension of a restricted second-order logic by the stationary-logic \(aa\)-quantifier. It combines two constructions studied side by side: \(C^2(\omega)\), based on second-order variables ranging over countable subsets and relations, and \(C(aa)\), based on the \(aa\)-quantifier of stationary logic. In the 2025 treatment of inner models from second-order logics, \(C^2(\omega,aa)\) is analyzed as a combined model with stronger large-cardinal consequences than those established for \(C^2(\omega)\) alone [2508.17672].

## 1. Logical basis and semantic ingredients

The starting point is the logic \(\mathcal L^2_\omega\), defined as second-order logic in which the bound second-order variables range over countable subsets and relations on the domain [2508.17672]. The paper emphasizes a crucial semantic point: these subsets and relations are chosen from the ambient universe \(V\) and assumed to be countable in \(V\), but they need not be elements of the domain, and they need not be countable in the sense of the domain. This distinguishes \(\mathcal L^2_\omega\) from full second-order logic \(\mathcal L^2\), whose second-order quantifiers range over all subsets and relations of the domain.

From this logic, the paper defines
\[
C^2(\omega)=C(\mathcal L^2_\omega).
\]
The model \(C(aa)\) is the corresponding \(C(\mathcal L)\)-model arising from stationary logic \(\mathcal L(aa)\), where the additional quantifier \(aa\) is interpreted using stationarity on countable subsets. The combined model is then
\[
C^2(\omega,aa)=C(\mathcal L^2_\omega(aa)),
\]
where \(\mathcal L^2_\omega(aa)\) extends \(\mathcal L^2_\omega\) by the \(aa\)-quantifier [2508.17672].

This organization places \(C^2(\omega,aa)\) within the general program of producing canonical inner models from extended logics. In this case, the two logical enrichments are distinct in kind: one enlarges definability by allowing quantification over countable second-order objects, while the other imports the stationary-logic \(aa\)-quantifier.

## 2. Construction via the \(C(\mathcal L)\)-hierarchy

The explicit hierarchy is given first for \(C^2(\omega)\). The paper states that the model is built by a transfinite double induction on a hierarchy \((J'_\alpha)\) together with a class \(T\) of truth predicates [2508.17672]. The recursion is
\[
J'_0=\emptyset,\qquad
J'_{\alpha+\omega}=\mathrm{rud}(J'_\alpha\cup\{J'_\alpha\}),\qquad
J'_{\omega\nu}=\bigcup_{\alpha<\nu}J'_{\omega\alpha}\quad(\nu\in\mathrm{Ord}).
\]
The rudimentary closure operation \(\mathrm{rud}\) is explicitly said to include the operation \(x\mapsto x\cap\omega\). The model is then
\[
C^2(\omega)=\bigcup_{\alpha\in\mathrm{Ord}}J'_\alpha.
\]

The same section remarks that one can equivalently define \(C^2(\omega)\) using countable sequences instead of countable subsets; the resulting model is the same [2508.17672]. For \(C^2(\omega,aa)\), the same style of \(C(\mathcal L)\)-construction is used, now with countable second-order quantification and the \(aa\)-quantifier combined. The paper also states that one must use the “new” definition of \(C(\mathcal L)\) from earlier work, with truth predicates folded in, because it is not clear whether the older version is adequate to truth in itself; the same design principle is carried over to \(C^2(\omega,aa)\).

At the level of method, this construction shows that \(C^2(\omega,aa)\) is not defined by a single forcing or extender recipe. Rather, it is produced by a logical hierarchy in the \(C(\mathcal L)\) style, with definability controlled by the semantics of countable second-order quantification together with stationary logic.

## 3. Relation to \(C^2(\omega)\), \(C(aa)\), and neighboring inner models

The paper records the basic inclusions
\[
C^*\subseteq C^2(\omega)\subseteq C^2(\omega,aa)\subseteq V,
\]
and
\[
C^*\subseteq C(aa)\subseteq C^2(\omega,aa),
\]
where \(C^*\) is the inner model from the cofinality quantifier \(Q^{\mathrm{cof}_\omega}\) [2508.17672]. These are described as trivial inclusions in ZFC.

A central comparative claim is that \(C^2(\omega)\) appears to be a much bigger inner model than \(C(aa)\), although this cannot be literally true in ZFC alone [2508.17672]. The paper treats this as a consistency-strength comparison rather than an absolute theorem of ZFC. Its evidence is large-cardinal-theoretic: assuming a proper class of Woodin cardinals, \(M_1^\sharp\) is in \(C^2(\omega)\) but not in \(C(aa)\). Under the same assumption, all reals of \(C(aa)\) are in \(C^2(\omega)\); under a strong enough large-cardinal hypothesis denoted \(^{++}\), subsets of \(\omega_1\) that belong to \(C(aa)\) are also in \(C^2(\omega)\) [2508.17672].

These comparisons locate \(C^2(\omega,aa)\) as a genuine amalgam rather than a mere notational convenience. It contains both \(C^2(\omega)\) and \(C(aa)\), while the relationship between the two constituent models remains partly conjectural when isolated from the combined construction.

## 4. Structural properties of \(C^2(\omega)\)

Several general structural facts are established for \(C^2(\omega)\) and provide context for the combined model. One theorem states that for any \(\kappa\ge 2\),
\[
|\mathcal P(\kappa)\cap C^2(\omega)|\le (\kappa^\omega)^+.
\]
The paper says this is used to show a certain structural tameness, while also remarking that the bound is probably far from optimal in large-cardinal contexts [2508.17672].

A further inclusion places the model inside the Chang model:
\[
C^2(\omega)\subseteq C_{\omega_1\omega}.
\]
The proof strategy described in the paper is to repeat the \(C^2(\omega)\)-construction inside the Chang model and show that it gives the same result [2508.17672]. From this, together with large-cardinal assumptions, the paper derives a forcing-absoluteness statement: assuming a proper class of Woodin limits of Woodin cardinals, the theory of \(C^2(\omega)\) cannot be changed by set forcing.

These properties suggest a distinctive combination of strength and restraint. On one side, \(C^2(\omega)\) is strong enough to capture canonical sharp-like objects. On the other, it remains bounded by the Chang model and subject to explicit cardinality estimates on its power sets.

## 5. Large-cardinal content of \(C^2(\omega)\)

The main theorem in this direction states: if there is a proper class of Woodin cardinals, then \(C^2(\omega)\nsubseteq C(aa)\). Moreover, \(C^2(\omega)\) contains, for every \(n\), an inner model with \(n\) Woodin cardinals [2508.17672]. The argument proceeds through the canonical sharps \(M_n^\sharp\). The paper notes that for every \(n<\omega\), \(M_n^\sharp\) is a \(\Pi^1_{n+2}\)-singleton, and therefore \(M_n^\sharp\) can be defined in, and belongs to, \(C^2(\omega)\). By iterating the top measure inside \(C^2(\omega)\), one obtains an inner model with \(n\) Woodin cardinals.

This is contrasted sharply with \(C(aa)\). Under a proper class of Woodin cardinals, the reals of \(C(aa)\) form a countable \(\Sigma^1_3\)-set, and in particular \(M_1^\sharp\notin C(aa)\) [2508.17672]. The comparison is one of the paper’s main reasons for treating \(C^2(\omega)\) as substantially stronger than \(C(aa)\) in large-cardinal environments.

A second major theorem states that, assuming a Woodin limit of Woodin cardinals, \(\omega_1^V\) is strongly Mahlo in \(C^2(\omega)\) [2508.17672]. The proof uses a stationary tower embedding \(j:V\to M\) from the countable stationary tower forcing at a Woodin limit \(\delta\), together with absoluteness properties of the relevant Chang-model-type constructions. The paper explicitly remarks that it is open whether this can be strengthened to weak compactness or measurability of \(\omega_1^V\) in \(C^2(\omega)\).

## 6. Club Determinacy and measurability in \(C^2(\omega,aa)\)

The strongest theorem stated specifically for the combined model concerns Club Determinacy and measurability [2508.17672]. The paper introduces \(\mathcal F(\lambda)\), the club filter of \(\mathcal P_{\omega_1}(\lambda^\omega)\), and uses Woodin’s principle CM\(^+\):
for all \(\lambda\), if \(Z\subseteq \mathcal P_{\omega_1}(\lambda^\omega)\) and \(Z\in L(\lambda^\omega)[\mathcal F(\lambda)]\), then either \(Z\in \mathcal F(\lambda)\) or its complement is in \(\mathcal F(\lambda)\).

Woodin’s theorem is quoted in the form: if there is a proper class of Woodin limits of Woodin cardinals, then CM\(^+\) exists [2508.17672]. Using this, the paper defines a Club Determinacy property for the levels \(J'_\alpha\) of the \(C^2(\omega,aa)\)-construction and proves:

> Assuming a proper class of Woodin limits of Woodin cardinals, \(C^2(\omega,aa)\) satisfies Club Determinacy.

From this the paper derives the corollary:

> Assume a proper class of Woodin limits of Woodin cardinals. Then every regular cardinal of \(V\) is measurable in \(C^2(\omega,aa)\).

The paper identifies this as the stronger result for the combination \(C^2(\omega,aa)\). In effect, the addition of the \(aa\)-quantifier upgrades the large-cardinal conclusions available from the countable-second-order construction by itself. A plausible implication is that the stationary-logic component is not merely auxiliary: it is the ingredient that converts the underlying logical hierarchy into one satisfying a strong internal measure-theoretic regularity principle.

## 7. Adjacent variants and open problems

The paper places \(C^2(\omega,aa)\) within a broader landscape of inner models from extended logics [2508.17672]. One adjacent object is HOD1, presented there as a variant of HOD associated with the model \(C(\Sigma^1_1)\). The theorem stated is that the question whether HOD1 is the same as HOD cannot be decided on the basis of ZFC even if one adds the assumption that there are supercompact cardinals.

Several comparison problems around \(C^2(\omega)\) and \(C^2(\omega,aa)\) are left open. The paper explicitly highlights whether \(C(aa)\subseteq C^2(\omega)\) follows from large cardinals, whether \(C^2(\omega)\) satisfies GCH under such hypotheses, and exactly how large \(C^2(\omega)\) can be in terms of internal large cardinals [2508.17672]. These questions show that the combined model is not only a repository of strong consequences but also a test case for the general problem of extracting canonical inner models from logics that quantify over countable structure.

In that sense, \(C^2(\omega,aa)\) occupies a precise position in current inner-model theory. It is defined by a concrete \(C(\mathcal L)\)-construction, related to both \(C^2(\omega)\) and \(C(aa)\), bounded above by \(V\), and—under very strong large-cardinal hypotheses—rich enough to make every regular cardinal of \(V\) measurable inside the model.

Source: https://www.emergentmind.com/topics/c2-omega-aa