24 found
Order:
  1.  33
    Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
    We study the fine structure of the core model for one Woodin cardinal, building of the work of Mitchell and Steel on inner models of the form . We generalize to some combinatorial principles that were shown by Jensen to hold in L. We show that satisfies the statement: “□κ holds whenever κ the least measurable cardinal λ of order λ++”. We introduce a hierarchy of combinatorial principles □κ, λ for 1 λ κ such that □κ□κ, 1 □κ, λ □κ, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  2.  38
    (1 other version)Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
    We prove that in all Mitchell-Steel core models, □ κ holds for all κ. (See Theorem 2.). From this we obtain new consistency strength lower bounds for the failure of □ κ if κ is either singular and countably closed, weakly compact, or measurable. (Corallaries 5, 8, and 9.) Jensen introduced a large cardinal property that we call subcompactness; it lies between superstrength and supercompactness in the large cardinal hierarchy. We prove that in all Jensen core models, □ κ holds (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  3.  30
    Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
    We present a general construction of a □κ-sequence in Jensen's fine structural extender models. This construction yields a local definition of a canonical □κ-sequence as well as a characterization of those cardinals κ, for which the principle □κ fails. Such cardinals are called subcompact and can be described in terms of elementary embeddings. Our construction is carried out abstractly, making use only of a few fine structural properties of levels of the model, such as solidity and condensation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  4.  91
    Stacking mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
    We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  29
    A finite family weak square principle.Ernest Schimmerling - 1999 - Journal of Symbolic Logic 64 (3):1087-1110.
  6.  37
    An equiconsistency result on partial squares.John Krueger & Ernest Schimmerling - 2011 - Journal of Mathematical Logic 11 (1):29-59.
    We prove that the following two statements are equiconsistent: there exists a greatly Mahlo cardinal; there exists a regular uncountable cardinal κ such that no stationary subset of κ+ ∩ cof carries a partial square.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  39
    Collapsing functions.Ernest Schimmerling & Boban Velickovic - 2004 - Mathematical Logic Quarterly 50 (1):3-8.
    We define what it means for a function on ω1 to be a collapsing function for λ and show that if there exists a collapsing function for +, then there is no precipitous ideal on ω1. We show that a collapsing function for ω2 can be added by forcing. We define what it means to be a weakly ω1-Erdös cardinal and show that in L[E], there is a collapsing function for λ iff λ is less than the least weakly ω1-Erdös (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  94
    The abc's of mice.Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (4):485-503.
  9.  57
    Hierarchies of forcing axioms I.Itay Neeman & Ernest Schimmerling - 2008 - Journal of Symbolic Logic 73 (1):343-362.
    We prove new upper bound theorems on the consistency strengths of SPFA (θ), SPFA(θ-linked) and SPFA(θ⁺-cc). Our results are in terms of (θ, Γ)-subcompactness, which is a new large cardinal notion that combines the ideas behind subcompactness and Γ-indescribability. Our upper bound for SPFA(c-linked) has a corresponding lower bound, which is due to Neeman and appears in his follow-up to this paper. As a corollary, SPFA(c-linked) and PFA(c-linked) are each equiconsistent with the existence of a $\Sigma _{1}^{2}$ -indescribable cardinal. Our (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  37
    A Question about Suslin Trees and the Weak Square Hierarchy.Ernest Schimmerling - 2005 - Notre Dame Journal of Formal Logic 46 (3):373-374.
    We present a question about Suslin trees and the weak square hierarchy which was contributed to the list of open problems of the BIRS workshop.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  23
    Separating weak partial square principles.John Krueger & Ernest Schimmerling - 2014 - Annals of Pure and Applied Logic 165 (2):609-619.
    We introduce the weak partial square principles View the MathML source and View the MathML source, which combine the ideas of a weak square sequence and a partial square sequence. We construct models in which weak partial square principles fail. The main result of the paper is that □λ,κ does not imply View the MathML source.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  44
    Some Calkin algebras have outer automorphisms.Ilijas Farah, Paul McKenney & Ernest Schimmerling - 2013 - Archive for Mathematical Logic 52 (5-6):517-524.
    We consider various quotients of the C*-algebra of bounded operators on a nonseparable Hilbert space, and prove in some cases that, assuming some restriction of the Generalized Continuum Hypothesis, there are many outer automorphisms.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  15
    Covering at limit cardinals of K.William J. Mitchell & Ernest Schimmerling - 2023 - Journal of Mathematical Logic 24 (1).
    Assume that there is no transitive class model of [Formula: see text] with a Woodin cardinal. Let [Formula: see text] be a singular ordinal such that [Formula: see text] and [Formula: see text]. Suppose [Formula: see text] is a regular cardinal in K. Then [Formula: see text] is a measurable cardinal in K. Moreover, if [Formula: see text], then [Formula: see text].
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  21
    Ny 12604, usa.Anuj Dawar Colyvan, Noam Greenberg, Rahim Moosa, Ernest Schimmerling & Alex Simp - 2012 - Bulletin of Symbolic Logic 18 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  28
    Diamond and antichains.James Cummings & Ernest Schimmerling - 2005 - Archive for Mathematical Logic 44 (1):71-76.
    It is obvious that ♦ implies the existence of an antichain of stationary sets of cardinality which is the largest possible cardinality. We show that the obvious antichain is not maximal and find a less obvious extension of it by ℵ2 more stationary sets.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  34
    2010 north american annual meeting of the association for symbolic logic.Alexander Razborov, Bob Coecke, Zoé Chatzidakis, Bjørn Kjos, Nicolaas P. Landsman, Lawrence S. Moss, Dilip Raghavan, Tom Scanlon, Ernest Schimmerling & Henry Towsner - 2011 - Bulletin of Symbolic Logic 17 (1):127-154.
  17. Covering Properties of Core Models.Ernest Schimmerling, Peter Koepke, William J. Mitchell & John R. Steel - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
  18.  24
    Cardinal transfer properties in extender models.Ernest Schimmerling & Martin Zeman - 2008 - Annals of Pure and Applied Logic 154 (3):163-190.
    We prove that if image is a Jensen extender model, then image satisfies the Gap-1 morass principle. As a corollary to this and a theorem of Jensen, the model image satisfies the Gap-2 Cardinal Transfer Property → for all infinite cardinals κ and λ.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  21
    College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]Mark Colyvan Burgess, Anuj Dawar, Marcelo Fiore, Noam Greenberg, Hannes Leitgeb, Ernest Schimmerling, Carsten Schürmann & Kai Wehmeier - 2010 - Bulletin of Symbolic Logic 16 (3).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  45
    Copies of books to asl, box 742, vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference. [REVIEW]Anuj Dawar Colyvan, Steffen Lempp, Rahim Moosa, Ernest Schimmerling & Alex Simpson - 2013 - Bulletin of Symbolic Logic 19 (2).
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  27
    College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or. [REVIEW]Anuj Dawar Colyvan, Marcelo Fiore, Noam Greenberg, Hannes Leitgeb, Rahim Moosa, Ernest Schimmerling, Carsten Schürmann & Kai Wehmeier - 2011 - Bulletin of Symbolic Logic 17 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  8
    Ilijas Farah. All automorphisms of the Calkin algebra are inner. Annals of Mathematics, vol. 173 , no. 2, pp. 619–661. [REVIEW]Ernest Schimmerling - 2011 - Bulletin of Symbolic Logic 17 (3):467-470.
  23.  17
    (2 other versions)Inner Models and Large Cardinals. [REVIEW]Ernest Schimmerling - 2003 - Bulletin of Symbolic Logic 9 (2):234-235.
  24.  20
    (1 other version)John R. Steel. The core model iterability problem. Lecture notes in logic, no. 8. Springer, Berlin, Heidelberg, New York, etc., 1996, iii + 112 pp. [REVIEW]Ernest Schimmerling - 1998 - Journal of Symbolic Logic 63 (1):326-328.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark