Switch to: References

Add citations

You must login to add citations.
  1. The stationarity of the collection of the locally regulars.Gunter Fuchs - 2015 - Archive for Mathematical Logic 54 (5-6):725-739.
    I analyze various natural assumptions which imply that the set {ω1L[x]∣x⊆ω}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\{\omega_1^{L[x]} \mid x \subseteq \omega\}}$$\end{document} is stationary in ω1. The focal questions are which implications hold between them, what their consistency strengths are, and which large cardinal assumptions outright imply them.
    Download  
     
    Export citation  
     
    Bookmark  
  • Summable gaps.James Hirschorn - 2003 - Annals of Pure and Applied Logic 120 (1-3):1-63.
    It is proved, under Martin's Axiom, that all gaps in are indestructible in any forcing extension by a separable measure algebra. This naturally leads to a new type of gap, a summable gap. The results of these investigations have applications in Descriptive Set Theory. For example, it is shown that under Martin's Axiom the Baire categoricity of all Δ31 non-Δ31-complete sets of reals requires a weakly compact cardinal.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Projective forcing.Joan Bagaria & Roger Bosch - 1997 - Annals of Pure and Applied Logic 86 (3):237-266.
    We study the projective posets and their properties as forcing notions. We also define Martin's axiom restricted to projective sets, MA, and show that this axiom is weaker than full Martin's axiom by proving the consistency of ZFC + ¬lCH + MA with “there exists a Suslin tree”, “there exists a non-strong gap”, “there exists an entangled set of reals” and “there exists κ < 20 such that 20 < 2k”.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Fragments of Martin's axiom and δ13 sets of reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.
    We strengthen a result of Harrington and Shelah by showing that, unless ω1 is an inaccessible cardinal in L, a relatively weak fragment of Martin's axiom implies that there exists a δ13 set of reals without the property of Baire.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Fragments of Martin's axiom and δ< sup> 1< sub> 3 sets of reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
    We improve a theorem of Raisonnier by showing that Cons(ZFC+every Σ 2 1 -set of reals in Lebesgue measurable+every Π 2 1 -set of reals isK σ-regular) implies Cons(ZFC+there exists an inaccessible cardinal). We construct, fromL, a model where every Δ 3 1 -sets of reals is Lebesgue measurable, has the property of Baire, and every Σ 2 1 -set of reals isK σ-regular. We prove that if there exists a Σ n+1 1 unbounded filter on ω, then there exists (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations