Mitchell's theorem revisited

DOI10.1016/J.APAL.2016.11.004zbMATH Open1422.03106arXiv1506.01983OpenAlexW2963875933MaRDI QIDQ515564FDOQ515564

Authors: Thomas Gilton, John Krueger 

Publication date: 16 March 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: Mitchell's theorem on the approachability ideal states that it is consistent relative to a greatly Mahlo cardinal that there is no stationary subset of $omeg{a}_{2}capmathrmcof(omeg{a}_1)$ in the approachability ideal $I[omeg{a}_2]$. In this paper we give a new proof of Mitchell's theorem, deriving it from an abstract framework of side condition methods.

Full work available at URL: https://arxiv.org/abs/1506.01983

Recommendations

• Successive failures of approachability
• A general Mitchell style iteration
• Some consequences of reflection on the approachability ideal
• A relative of the approachability ideal, diamond and non-saturation
• scientific article

zbMATH Keywords

forcingadequate setsapproachability idealside conditions

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Reflecting stationary sets and successors of singular cardinals
• Aronszajn trees and the independence of the transfer property
• 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)
• Title not available (Why is that?)
• Extensions with the approximation and cover properties have no new large cardinals
• Forcing with sequences of models of two types
• Adding a club with finite conditions. II
• Strongly adequate sets and adding a club with finite conditions
• Quotients of strongly proper forcings and guessing models
• Thin stationary sets and disjoint club sequences
• Title not available (Why is that?)
• On splitting stationary subsets of large cardinals
• Coherent adequate sets and forcing square
• Coherent adequate forcing and preserving CH

Cited In (3)

• The approachability ideal without a maximal set
• Successive failures of approachability
• A general Mitchell style iteration

This page was built for publication: Mitchell's theorem revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515564)