Mitchell's theorem revisited

DOI10.1016/J.APAL.2016.11.004MaRDI QIDQ515564zbMATH OpenOpenAlexFDO

Authors Thomas Gilton, John Krueger

Publication date 16 March 2017

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

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

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)

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.

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 DE number 3884149

Cites work

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

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)