Skip to main content
MathOverflow

Return to Question

Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by Joseph Van Name
Bounty Started worth 100 reputation by Joseph Van Name
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
added 92 characters in body
Source Link
Joseph Van Name
Joseph Van Name
  • 1
  • 4
  • 75
  • 118

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\delta}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\lambda<\delta$ and a $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$ such that $\text{crit}(j)=\kappa$ and $j(\kappa)>\alpha$ and $j(V_{\lambda}\cap A)=V_{\lambda}\cap A$.

Is the existence of an $\text{I1}$-tower cardinal consistent? If so, then where do the $\text{I1}$-tower cardinals stand on the large cardinal hierarchy? Is the existence of an $\text{I1}$-cardinal implied by the existence of an $\text{I0}$-cardinal? Does $\text{Con(I0)}$ imply $\text{Con}(\text{there is an I1-tower cardinal})$? Does $\text{Con}(\text{there is an I1-tower cardinal})$ imply $\text{Con(I0)}$?

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\delta}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\lambda<\delta$ and a $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$ such that $\text{crit}(j)=\kappa$ and $j(\kappa)>\alpha$ and $j(V_{\lambda}\cap A)=V_{\lambda}\cap A$.

Is the existence of an $\text{I1}$-tower cardinal consistent? Is the existence of an $\text{I1}$-cardinal implied by the existence of an $\text{I0}$-cardinal? Does $\text{Con(I0)}$ imply $\text{Con}(\text{there is an I1-tower cardinal})$? Does $\text{Con}(\text{there is an I1-tower cardinal})$ imply $\text{Con(I0)}$?

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\delta}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\lambda<\delta$ and a $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$ such that $\text{crit}(j)=\kappa$ and $j(\kappa)>\alpha$ and $j(V_{\lambda}\cap A)=V_{\lambda}\cap A$.

Is the existence of an $\text{I1}$-tower cardinal consistent? If so, then where do the $\text{I1}$-tower cardinals stand on the large cardinal hierarchy? Is the existence of an $\text{I1}$-cardinal implied by the existence of an $\text{I0}$-cardinal? Does $\text{Con(I0)}$ imply $\text{Con}(\text{there is an I1-tower cardinal})$? Does $\text{Con}(\text{there is an I1-tower cardinal})$ imply $\text{Con(I0)}$?

Notice added Draw attention by Joseph Van Name
Bounty Started worth 50 reputation by Joseph Van Name
edited body
Source Link
Joseph Van Name
Joseph Van Name
  • 1
  • 4
  • 75
  • 118

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\kappa}$$A\subseteq V_{\delta}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\lambda<\kappa$$\lambda<\delta$ and a $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$ such that $\text{crit}(j)=\kappa$ and $j(\kappa)>\alpha$ and $j(V_{\lambda}\cap A)=V_{\lambda}\cap A$.

Is the existence of an $\text{I1}$-tower cardinal consistent? Is the existence of an $\text{I1}$-cardinal implied by the existence of an $\text{I0}$-cardinal? Does $\text{Con(I0)}$ imply $\text{Con}(\text{there is an I1-tower cardinal})$? Does $\text{Con}(\text{there is an I1-tower cardinal})$ imply $\text{Con(I0)}$?

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\kappa}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\lambda<\kappa$ and a $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$ such that $\text{crit}(j)=\kappa$ and $j(\kappa)>\alpha$ and $j(V_{\lambda}\cap A)=V_{\lambda}\cap A$.

Is the existence of an $\text{I1}$-tower cardinal consistent? Is the existence of an $\text{I1}$-cardinal implied by the existence of an $\text{I0}$-cardinal? Does $\text{Con(I0)}$ imply $\text{Con}(\text{there is an I1-tower cardinal})$? Does $\text{Con}(\text{there is an I1-tower cardinal})$ imply $\text{Con(I0)}$?

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\delta}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\lambda<\delta$ and a $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$ such that $\text{crit}(j)=\kappa$ and $j(\kappa)>\alpha$ and $j(V_{\lambda}\cap A)=V_{\lambda}\cap A$.

Is the existence of an $\text{I1}$-tower cardinal consistent? Is the existence of an $\text{I1}$-cardinal implied by the existence of an $\text{I0}$-cardinal? Does $\text{Con(I0)}$ imply $\text{Con}(\text{there is an I1-tower cardinal})$? Does $\text{Con}(\text{there is an I1-tower cardinal})$ imply $\text{Con(I0)}$?

Source Link
Joseph Van Name
Joseph Van Name
  • 1
  • 4
  • 75
  • 118

Where does this strengthening of I1 stand?

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\kappa}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\lambda<\kappa$ and a $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$ such that $\text{crit}(j)=\kappa$ and $j(\kappa)>\alpha$ and $j(V_{\lambda}\cap A)=V_{\lambda}\cap A$.

Is the existence of an $\text{I1}$-tower cardinal consistent? Is the existence of an $\text{I1}$-cardinal implied by the existence of an $\text{I0}$-cardinal? Does $\text{Con(I0)}$ imply $\text{Con}(\text{there is an I1-tower cardinal})$? Does $\text{Con}(\text{there is an I1-tower cardinal})$ imply $\text{Con(I0)}$?