The weakly measurable cardinals were introduced by Jason Schanker in {% cite Schanker2011 %}, {% cite Schanker2011a %}. As their name suggests, they provide a weakening of the large cardinal concept of [measurability](Measurable.md "Measurable"). 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. ## Formal Definition 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](Filter.md "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.) ## Embedding characterizations of weak measurability If $(\kappa^+)^{ {<}\kappa} = \kappa^+$, then weak measurability can also be equivalently characterized in several different ways in terms of [](Elementary%20embedding.md). 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%20embedding.md) $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 and inner models Weakly measurable cardinals are incompatible with the axiom <a href="V_%3D_L" class="mw-redirect" title="V = L">$V = Llt;/a> 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\]$ ({% cite Mitchell2001 %}, 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 <a href="Mitchell_order" class="mw-redirect" title="Mitchell order">Mitchell order</a> $\lambda^{++}$, then $\kappa$ will be measurable in Mitchell's core model $K^m$ ({% cite Jech2003 %}, Theorem 35.17). ## Weakly measurable cardinals and forcing 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. ## Place in the large cardinal hierarchy 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 {% cite Schanker2011 %} and {% cite Schanker2011a %} 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.