KWithout the Measurable

DOI10.2178/jsl.7803020zbMath1348.03049OpenAlexW2068021410MaRDI QIDQ2869898

R. B. Jensen, J. R. Steel

Publication date: 7 January 2014

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1389032272

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (37)

Turing Determinacy and Suslin sets ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Inner-model reflection principles ⋮ Countable ordinals in indiscernibility spectra ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ On \(\kappa\)-compact cardinals ⋮ Bounding 2d functions by products of 1d functions ⋮ Controlling the number of normal measures at successor cardinals ⋮ Singularizing successor cardinals by forcing ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ Silver type theorems for collapses ⋮ Covering at limit cardinals of K ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ Local weak presaturation of the strongly non‐stationary ideal ⋮ The Borel partition spectrum at successors of singular cardinals ⋮ On minimal non-\(\sigma\)-scattered linear orders ⋮ On the Reals Which Cannot Be Random ⋮ Perfect subtree property for weakly compact cardinals ⋮ Forcing axioms via ground model interpretations ⋮ Iterates of $M_1$ ⋮ NORMAL MEASURES ON A TALL CARDINAL ⋮ GAMES AND RAMSEY-LIKE CARDINALS ⋮ A brief account of recent developments in inner model theory ⋮ More on uniform ultrafilters over a singular cardinal ⋮ Proof of a conjecture of Galvin ⋮ PFA and guessing models ⋮ A WELLORDER OF THE REALS WITH SATURATED ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ Local saturation and square everywhere ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Tall cardinals in extender models ⋮ A diamond-plus principle consistent with AD ⋮ STATIONARY REFLECTION ⋮ FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES ⋮ The AD+ conjecture and the continuum hypothesis ⋮ ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\lambda\)-structures and \(s\)-structures: translating the models
• The covering lemma up to a Woodin cardinal
• The core model for almost linear iterations
• Weak covering without countable closure
• Square in Core Models
• An Outline of Inner Model Theory
• The core model for sequences of measures. I
• Stacking mice
• The covering lemma for L[U]
• The core model
• The covering lemma for K
• The maximality of the core model
• A universal extender model without large cardinals in V
• PFA implies AD^L(ℝ)
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS

This page was built for publication: KWithout the Measurable