Switch to: References

Add citations

You must login to add citations.
  1. Some results on consecutive large cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.
    We obtain 2 models in which AC is false and in which there are long sequences of consecutive large cardinals.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Instances of dependent choice and the measurability of ℵω + 1.Arthur W. Apter & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 74 (3):203-219.
    Starting from cardinals κ κ is measurable, we construct a model for the theory “ZF + n < ω[DCn] + ω + 1 is a measurable cardinal”. This is the maximum amount of dependent choice consistent with the measurability of ω + 1, and by a theorem of Shelah using p.c.f. theory, is the best result of this sort possible.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations.William Chan & Stephen Jackson - 2021 - Annals of Pure and Applied Logic 172 (8):102988.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Thin collections of sets of projective ordinals and analogs of L.Howard Becker - 1980 - Annals of Mathematical Logic 19 (3):205-241.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Filters for square-bracket partition relations.James M. Henle, Aki Kanamori & E. M. Kleinberg - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (12):183-192.
    Download  
     
    Export citation  
     
    Bookmark  
  • Bounding 2d functions by products of 1d functions.François Dorais & Dan Hathaway - 2022 - Mathematical Logic Quarterly 68 (2):202-212.
    Given sets and a regular cardinal μ, let be the statement that for any function, there are functions and such that for all,. In, the statement is false. However, we show the theory (which is implied by + “” + “ω1 is measurable”) implies that for every there is a such that in some inner model, κ is measurable with Mitchell order.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Magidor-like and radin-like forcing.J. M. Henle - 1983 - Annals of Pure and Applied Logic 25 (1):59-72.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Researches into the world of "x" [implies] "x".J. M. Henle - 1979 - Annals of Mathematical Logic 17 (1/2):151.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)Filters for square‐bracket partition relations.James M. Henle, Aki Kanamori & E. M. Kleinberg - 1984 - Mathematical Logic Quarterly 30 (12):183-192.
    Download  
     
    Export citation  
     
    Bookmark