13 found
Order:
  1.  6
    On Strong Forms of Reflection in Set Theory.Sy-David Friedman & Radek Honzik - 2016 - Mathematical Logic Quarterly 62 (1-2):52-58.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  21
    Fusion and Large Cardinal Preservation.Sy-David Friedman, Radek Honzik & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (12):1247-1273.
    In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ . This provides a general theory covering the known cases of tree iterations which preserve large cardinals [3], Friedman and Halilović [5], Friedman and Honzik [6], Friedman and Magidor [8], Friedman and Zdomskyy [10], Honzik [12]).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  5
    Fusion and Large Cardinal Preservation.Sy-David Friedman, Radek Honzik & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (12):1247-1273.
    In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ. This provides a general theory covering the known cases of tree iterations which preserve large cardinals [3], Friedman and Halilović [5], Friedman and Honzik [6], Friedman and Magidor [8], Friedman and Zdomskyy [10], Honzik [12]).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  6
    Easton’s Theorem and Large Cardinals.Sy-David Friedman & Radek Honzik - 2008 - Annals of Pure and Applied Logic 154 (3):191-208.
    The continuum function αmaps to2α on regular cardinals is known to have great freedom. Let us say that F is an Easton function iff for regular cardinals α and β, image and α<β→F≤F. The classic example of an Easton function is the continuum function αmaps to2α on regular cardinals. If GCH holds then any Easton function is the continuum function on regular cardinals of some cofinality-preserving extension V[G]; we say that F is realised in V[G]. However if we also wish (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5. Global Singularization and the Failure of SCH.Radek Honzik - 2010 - Annals of Pure and Applied Logic 161 (7):895-915.
    We say that κ is μ-hypermeasurable for a cardinal μ≥κ+ if there is an embedding j:V→M with critical point κ such that HV is included in M and j>μ. Such a j is called a witnessing embedding.Building on the results in [7], we will show that if V satisfies GCH and F is an Easton function from the regular cardinals into cardinals satisfying some mild restrictions, then there exists a cardinal-preserving forcing extension V* where F is realised on all V-regular (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  6
    The Tree Property at the ℵ 2 N 's and the Failure of SCH at ℵ Ω.Sy-David Friedman & Radek Honzik - 2015 - Annals of Pure and Applied Logic 166 (4):526-552.
  7.  71
    Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.
    We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  12
    A Lifting Argument for the Generalized Grigorieff Forcing.Radek Honzík & Jonathan Verner - 2016 - Notre Dame Journal of Formal Logic 57 (2):221-231.
    In this short paper, we describe another class of forcing notions which preserve measurability of a large cardinal $\kappa$ from the optimal hypothesis, while adding new unbounded subsets to $\kappa$. In some ways these forcings are closer to the Cohen-type forcings—we show that they are not minimal—but, they share some properties with treelike forcings. We show that they admit fusion-type arguments which allow for a uniform lifting argument.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  5
    The Tree Property at the Double Successor of a Singular Cardinal with a Larger Gap.Sy-David Friedman, Radek Honzik & Šárka Stejskalová - 2018 - Annals of Pure and Applied Logic 169 (6):548-564.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  4
    The Tree Property and the Continuum Function Below ℵω.Radek Honzik & Šárka Stejskalová - 2018 - Mathematical Logic Quarterly 64 (1-2):89-102.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  21
    Eastonʼs Theorem and Large Cardinals From the Optimal Hypothesis.Sy-David Friedman & Radek Honzik - 2012 - Annals of Pure and Applied Logic 163 (12):1738-1747.
    The equiconsistency of a measurable cardinal with Mitchell order o=κ++ with a measurable cardinal such that 2κ=κ++ follows from the results by W. Mitchell [13] and M. Gitik [7]. These results were later generalized to measurable cardinals with 2κ larger than κ++ .In Friedman and Honzik [5], we formulated and proved Eastonʼs theorem [4] in a large cardinal setting, using slightly stronger hypotheses than the lower bounds identified by Mitchell and Gitik , for a suitable μ, instead of the cardinals (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  1
    A Laver-Like Indestructibility for Hypermeasurable Cardinals.Radek Honzik - 2019 - Archive for Mathematical Logic 58 (3-4):275-287.
    We show that if \ is \\)-hypermeasurable for some cardinal \ with \ \le \mu \) and GCH holds, then we can extend the universe by a cofinality-preserving forcing to obtain a model \ in which the \\)-hypermeasurability of \ is indestructible by the Cohen forcing at \ of any length up to \ is \\)-hypermeasurable in \). The preservation of hypermeasurability is useful for subsequent arguments. The construction of \ is based on the ideas of Woodin and Cummings :1–39, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    Definability of Satisfaction in Outer Models.Sy-David Friedman & Radek Honzik - 2016 - Journal of Symbolic Logic 81 (3):1047-1068.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark