Switch to: References

Add citations

You must login to add citations.
  1. Thin equivalence relations and inner models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.
    We describe the inner models with representatives in all equivalence classes of thin equivalence relations in a given projective pointclass of even level assuming projective determinacy. The main result shows that these models are characterized by their correctness and the property that they correctly compute the tree from the appropriate scale. The main step towards this characterization shows that the tree from a scale can be reconstructed in a generic extension of an iterate of a mouse. We then construct models (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The definability of E in self-iterable mice.Farmer Schlutzenberg - 2023 - Annals of Pure and Applied Logic 174 (2):103208.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Iterability for (transfinite) stacks.Farmer Schlutzenberg - 2021 - Journal of Mathematical Logic 21 (2):2150008.
    We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let Ω be a regular uncountable cardinal. Let m < ω and M be an m-sound premouse and Σ be...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A premouse inheriting strong cardinals from V.Farmer Schlutzenberg - 2020 - Annals of Pure and Applied Logic 171 (9):102826.
  • Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular.Grigor Sargsyan & Nam Trang - 2016 - Journal of Mathematical Logic 16 (2):1650007.
    In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, J. Symbolic Logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Sealing of the universally baire sets.Grigor Sargsyan & Nam Trang - 2021 - Bulletin of Symbolic Logic 27 (3):254-266.
    A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. ${\sf Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The ${\sf Largest\ Suslin\ Axiom}$ is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let ${\sf LSA}$ - ${\sf (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Nontame mouse from the failure of square at a singular strong limit cardinal.Grigor Sargsyan - 2014 - Journal of Mathematical Logic 14 (1):1450003.
    Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular strong (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Counterexamples to the Unique and Cofinal Branches Hypotheses.Itay Neeman & John Steel - 2006 - Journal of Symbolic Logic 71 (3):977 - 988.
    We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The strength of choiceless patterns of singular and weakly compact cardinals.Daniel Busche & Ralf Schindler - 2009 - Annals of Pure and Applied Logic 159 (1-2):198-248.
    We extend the core model induction technique to a choiceless context, and we exploit it to show that each one of the following two hypotheses individually implies that , the Axiom of Determinacy, holds in the of a generic extension of : every uncountable cardinal is singular, and every infinite successor cardinal is weakly compact and every uncountable limit cardinal is singular.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations