Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.

View the Project on GitHub neugierde/cantors-attic

**Quick navigation**

The upper attic

The middle attic

The lower attic

The parlour

The playroom

The library

The cellar

**Sources**

Cantor's Attic (original site)

Joel David Hamkins blog post about the Attic

Latest working snapshot at the wayback machine

- Formal Definition
- Embedding characterizations of weak measurability
- Weakly measurable cardinals and inner models
- Weakly measurable cardinals and forcing
- Place in the large cardinal hierarchy

The weakly measurable cardinals were introduced by Jason Schanker in (Schanker, 2011), (Schanker, 2011). As their name suggests, they provide a weakening of the large cardinal concept of measurability. If the GCH holds at $\kappa$, then the property of the weak measurability of $\kappa$ is equivalent to that of the full measurability of $\kappa$, but when $\kappa^+\lt 2^\kappa$, these concepts can separate. Nevertheless, the existence of a weakly measurable cardinal is equiconsistent with the existence of a measurable cardinal, since if $\kappa$ is weakly measurable, then it is measurable in an inner model.

A cardinal $\kappa$ is *weakly measurable* if and only if for every
family $\mathcal{A}\subset P(\kappa)$ of size at most $\kappa^+$,
there is a nonprincipal $\kappa$-complete
filter
on $\kappa$ measuring every set in $\mathcal{A}$. (i.e., For every
subset $A \in \mathcal{A}$, either $A$ or $\kappa \setminus A$ is in
the filter.)

If $(\kappa^+)^{ {<}\kappa} = \kappa^+$, then weak measurability can also be equivalently characterized in several different ways in terms of elementary embeddings.

Weak embedding characterization

For every $A \subseteq \kappa^+$, there exists a transitive $M \vDash
\text{ZFC}^-$ with $A, \kappa \in M$, a transitive $N$ and an
elementary
embedding
$j: M \longrightarrow N$ with critical point $\kappa$.

Embedding characterization

For every transitive set $M$ of size $\kappa^+$ with $\kappa \in M$,
there exists a transitive $N$ and an elementary embedding $j: M
\longrightarrow N$ with critical point $\kappa$.

Normal embedding characterization

For every transitive $M \vDash \text{ZFC}^-$ of size $\kappa^+$
closed under ${<}\kappa$ sequences with $\kappa \in M$, there
exists a transitive $N$ of size $\kappa^+$ closed under ${<}\kappa$
sequences and a cofinal elementary embedding $j: M \longrightarrow N$
with critical point $\kappa$ such that $N = \{j(f)(\kappa)| f \in
M; f: \kappa \longrightarrow M\}$.

Normal ZFC embedding characterization

For every $A \subseteq H_{\kappa^+}$ of size $\kappa^+$, there
exists a transitive $M \vDash \text{ZFC}$ of size $\kappa^+$ closed
under ${<}\kappa$ sequences with $A \subseteq M$ and $\kappa \in
M$, a transitive $N$ of size $\kappa^+$ closed under ${<}\kappa$
sequences, and a cofinal elementary embedding $j: M \longrightarrow N$
with critical point $\kappa$ such that $N = \{j(f)(\kappa)| f \in
M; f: \kappa \longrightarrow M\}$.

Weakly measurable cardinals are incompatible with the axiom $V = L$ since such cardinals are fully measurable if the GCH holds, and the constructible universe cannot contain nonprincipal countably complete ultrafilters. By the same reasoning, the Dodd-Jensen core model $K^{DJ}$ will not have any cardinals that it thinks are weakly measurable. If $\kappa$ is weakly measurable, then we can always find a countably complete normal $K^{DJ}$-ultrafilter $U$ whereby $\kappa$ will be measurable in $L[U]$ ((Mitchell, 2001), Lemma 3.36). Under certain anti-large cardinal hypotheses, a weakly measurable cardinal will be measurable in the suitable core model. For example, if $\kappa$ is weakly measurable and there is no inner model with a measurable cardinal $\lambda$ having Mitchell order $\lambda^{++}$, then $\kappa$ will be measurable in Mitchell’s core model $K^m$ ((Jech, 2003), Theorem 35.17).

Weakly measurable cardinals $\kappa$ are invariant under forcing of
size less than $\kappa$ and forcing that adds no new subsets of
$\kappa^+$. Many other preservation results for these large cardinals
are unknown. For example, it is an open question as to whether we can
always force to an extension where a weakly measurable cardinal
$\kappa$ from the ground model remains weakly measurable and becomes
indestructible by the further forcing to add a Cohen subset of
$\kappa$. However, if $\kappa$ is measurable in the ground model, we
inherit all of the indestructibility results we can get for its weak
measurability from its full measurability and more. In particular, we
will be able to force to an extension where $\kappa$ is measurable, the
GCH holds, and the **weak** measurability of $\kappa$ is preserved by
the further forcing to add any number of Cohen subsets of $\kappa$.
Starting with a measurable cardinal $\kappa$, this result allows us to
force to an extension where we preserve the weak measurability of
$\kappa$ and yet make the GCH fail first at $\kappa$. Since the GCH
cannot fail first at a measurable cardinal, this will also be a forcing
extension where $\kappa$ is no longer measurable.

In terms of consistency strength, weakly measurable cardinals occupy the same place as measurable cardinals in the large cardinal hierarchy. In terms of size, the possibilities for these large cardinals are still being investigated. Because measurable cardinals must be weakly measurable, and weakly measurable cardinals must be weakly compact, we are provided with strict upper and lower bounds on their sizes with respect to these large cardinal notions. In the presence of the GCH, weakly measurable cardinals and measurable cardinals coincide so their sizes are the same in this case. At the opposite extreme, it was left as an open question in (Schanker, 2011) and (Schanker, 2011) as to whether the least weakly measurable cardinal could also be the least weakly compact cardinal. Despite being left open, there are promising developments that are being undertaken jointly by Gitik, Hamkins, and Schanker, which are aimed at this possibility.

- Schanker, J. A. (2011). Weakly measurable cardinals.
*MLQ Math. Log. Q.*,*57*(3), 266–280. https://doi.org/10.1002/malq.201010006 - Schanker, J. A. (2011).
*Weakly measurable cardinals and partial near supercompactness*[PhD thesis]. CUNY Graduate Center. - Mitchell, W. J. (2001). The Covering Lemma.
*Handbook of Set Theory*. http://www.math.cas.cz/ jech/library/mitchell/covering.ps - Jech, T. J. (2003).
*Set Theory*(Third). Springer-Verlag. https://logic.wikischolars.columbia.edu/file/view/Jech%2C+T.+J.+%282003%29.+Set+Theory+%28The+3rd+millennium+ed.%29.pdf