Difference between revisions of "Weakly measurable"
Line 5: | Line 5: | ||
== Formal Definition == | == 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 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.) | + | 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.) |
== Embedding characterizations of weak measurability== | == Embedding characterizations of weak measurability== | ||
Line 11: | Line 11: | ||
If $(\kappa^+)^{{<}\kappa} = \kappa^+$, then weak measurability can also be equivalently characterized in several different ways in terms of [[elementary embedding|elementary embeddings]]. | If $(\kappa^+)^{{<}\kappa} = \kappa^+$, then weak measurability can also be equivalently characterized in several different ways in terms of [[elementary embedding|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$. | + | :; 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$. | :; 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$. |
Latest revision as of 01:15, 10 October 2017
The weakly measurable cardinals were introduced by Jason Schanker in [1], [2]. 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.
Contents
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 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 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 and inner models
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]$ ([3], 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$ ([4], 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 [1] and [2] 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.
References
- Schanker, Jason A. Weakly measurable cardinals. MLQ Math Log Q 57(3):266--280, 2011. www DOI bibtex
- Schanker, Jason A. Weakly measurable cardinals and partial near supercompactness. Ph.D. Thesis, CUNY Graduate Center, 2011. bibtex
- Mitchell, William J. The Covering Lemma. Handbook of Set Theory , 2001. www bibtex
- Jech, Thomas J. Set Theory. Third, Springer-Verlag, Berlin, 2003. (The third millennium edition, revised and expanded) www bibtex