56 found
Order:
See also
  1. Definable Well-Orders of $H(\Omega _2)$ and $GCH$.David Asperó & Sy-David Friedman - 2012 - Journal of Symbolic Logic 77 (4):1101-1121.
    Assuming ${2^{{N_0}}}$ = N₁ and ${2^{{N_1}}}$ = N₂, we build a partial order that forces the existence of a well-order of H(ω₂) lightface definable over ⟨H(ω₂), Є⟩ and that preserves cardinal exponentiation and cofinalities.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  13
    Slow Consistency.Sy-David Friedman, Michael Rathjen & Andreas Weiermann - 2013 - Annals of Pure and Applied Logic 164 (3):382-393.
    The fact that “natural” theories, i.e. theories which have something like an “idea” to them, are almost always linearly ordered with regard to logical strength has been called one of the great mysteries of the foundation of mathematics. However, one easily establishes the existence of theories with incomparable logical strengths using self-reference . As a result, PA+Con is not the least theory whose strength is greater than that of PA. But still we can ask: is there a sense in which (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  3.  9
    Rank-Into-Rank Hypotheses and the Failure of GCH.Vincenzo Dimonte & Sy-David Friedman - 2014 - Archive for Mathematical Logic 53 (3-4):351-366.
  4.  2
    Large Cardinals and Locally Defined Well-Orders of the Universe.David Asperó & Sy-David Friedman - 2009 - Annals of Pure and Applied Logic 157 (1):1-15.
    By forcing over a model of with a class-sized partial order preserving this theory we produce a model in which there is a locally defined well-order of the universe; that is, one whose restriction to all levels H is a well-order of H definable over the structure H, by a parameter-free formula. Further, this forcing construction preserves all supercompact cardinals as well as all instances of regular local supercompactness. It is also possible to define variants of this construction which, in (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  5.  3
    Large Cardinals and Definable Well-Orders, Without the GCH.Sy-David Friedman & Philipp Lücke - 2015 - Annals of Pure and Applied Logic 166 (3):306-324.
  6.  20
    Internal Consistency and the Inner Model Hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.
  7.  6
    Perfect Trees and Elementary Embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
    An important technique in large cardinal set theory is that of extending an elementary embedding j: M → N between inner models to an elementary embedding j*: M[G] → N[G*] between generic extensions of them. This technique is crucial both in the study of large cardinal preservation and of internal consistency. In easy cases, such as when forcing to make the GCH hold while preserving a measurable cardinal (via a reverse Easton iteration of α-Cohen forcing for successor cardinals α), the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  8.  3
    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 (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  9. 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 (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  8
    The Effective Theory of Borel Equivalence Relations.Ekaterina B. Fokina, Sy-David Friedman & Asger Törnquist - 2010 - Annals of Pure and Applied Logic 161 (7):837-850.
    The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver [20] and Harrington, Kechris and Louveau [6] show that with respect to Borel reducibility, any Borel equivalence relation strictly above equality on ω is above equality on , the power set of ω, and any Borel equivalence relation strictly above equality on the reals is above equality modulo finite on . In this article we examine the effective (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  11.  1
    The Tree Property at א Ω+2.Sy-David Friedman & Ajdin Halilović - 2011 - Journal of Symbolic Logic 76 (2):477 - 490.
    Assuming the existence of a weakly compact hypermeasurable cardinal we prove that in some forcing extension א ω is a strong limit cardinal and א ω+2 has the tree property. This improves a result of Matthew Foreman (see [2]).
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  12.  59
    The Hyperuniverse Program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.
    The Hyperuniverse Program is a new approach to set-theoretic truth which is based on justifiable principles and leads to the resolution of many questions independent from ZFC. The purpose of this paper is to present this program, to illustrate its mathematical content and implications, and to discuss its philosophical assumptions.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  12
    The Number of Normal Measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
    There have been numerous results showing that a measurable cardinal κ can carry exactly α normal measures in a model of GCH, where a is a cardinal at most κ⁺⁺. Starting with just one measurable cardinal, we have [9] (for α = 1), [10] (for α = κ⁺⁺, the maximum possible) and [1] (for α = κ⁺, after collapsing κ⁺⁺) . In addition, under stronger large cardinal hypotheses, one can handle the remaining cases: [12] (starting with a measurable cardinal of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  14.  39
    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  
     
    My bibliography   1 citation  
  15.  1
    Safe Recursive Set Functions.Arnold Beckmann, Samuel R. Buss & Sy-David Friedman - 2015 - Journal of Symbolic Logic 80 (3):730-762.
  16.  12
    Large Cardinals Need Not Be Large in HOD.Yong Cheng, Sy-David Friedman & Joel David Hamkins - 2015 - Annals of Pure and Applied Logic 166 (11):1186-1198.
  17.  17
    Isomorphism Relations on Computable Structures.Ekaterina B. Fokina, Sy-David Friedman, Valentina Harizanov, Julia F. Knight, Charles McCoy & Antonio Montalbán - 2012 - Journal of Symbolic Logic 77 (1):122-132.
    We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  30
    On the Consistency Strength of the Inner Model Hypothesis.Sy-David Friedman, Philip Welch & W. Hugh Woodin - 2008 - Journal of Symbolic Logic 73 (2):391 - 400.
  19.  5
    Homogeneous Iteration and Measure One Covering Relative to HOD.Natasha Dobrinen & Sy-David Friedman - 2008 - Archive for Mathematical Logic 47 (7-8):711-718.
    Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal κ, κ + is greater than κ + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  20.  22
    Foundational Implications of the Inner Model Hypothesis.Tatiana Arrigoni & Sy-David Friedman - 2012 - Annals of Pure and Applied Logic 163 (10):1360-1366.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  22
    On Borel Equivalence Relations in Generalized Baire Space.Sy-David Friedman & Tapani Hyttinen - 2012 - Archive for Mathematical Logic 51 (3-4):299-304.
    We construct two Borel equivalence relations on the generalized Baire space κ κ , κ <κ = κ > ω, with the property that neither of them is Borel reducible to the other. A small modification of the construction shows that the straightforward generalization of the Glimm-Effros dichotomy fails.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  11
    The Stable Core.Sy-David Friedman - 2012 - Bulletin of Symbolic Logic 18 (2):261-267.
    Vopenka [2] proved long ago that every set of ordinals is set-generic over HOD, Gödel's inner model of hereditarily ordinal-definable sets. Here we show that the entire universe V is class-generic over, and indeed over the even smaller inner model $\mathbb{S}=$, where S is the Stability predicate. We refer to the inner model $\mathbb{S}$ as the Stable Core of V. The predicate S has a simple definition which is more absolute than any definition of HOD; in particular, it is possible (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  21
    Projective Mad Families.Sy-David Friedman & Lyubomyr Zdomskyy - 2010 - Annals of Pure and Applied Logic 161 (12):1581-1587.
    Using almost disjoint coding we prove the consistency of the existence of a definable ω-mad family of infinite subsets of ω together with.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  24
    Strong Isomorphism Reductions in Complexity Theory.Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman & Moritz Müller - 2011 - Journal of Symbolic Logic 76 (4):1381-1402.
    We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  25.  7
    Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
    This paper investigates when it is possible for a partial ordering P to force Pκ(λ) \ V to be stationary in VP. It follows from a result of Gitik that whenever P adds a new real, then Pκ(λ) \ V is stationary in VP for each regular uncountable cardinal κ in VP and all cardinals λ > κ in VP [4]. However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  1
    Analytic Equivalence Relations and Bi-Embeddability.Friedman Sy-David & Ros Luca Motto - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.
    Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This is in strong contrast to the case of the isomorphism relation, which as an equivalence relation on graphs (or on any class of countable structures consisting of the models of a sentence of L ω ₁ ω ) is far from complete (see [5, 2]). In (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  5
    Maximality and Ontology: How Axiom Content Varies Across Philosophical Frameworks.Neil Barton & Sy-David Friedman - forthcoming - Synthese:1-27.
    Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism and actualism face complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Large Cardinals and Gap-1 Morasses.Andrew D. Brooke-Taylor & Sy-David Friedman - 2009 - Annals of Pure and Applied Logic 159 (1-2):71-99.
    We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular uncountable cardinal, while preserving all n-superstrong , hyperstrong and 1-extendible cardinals. In the latter case, a preliminary forcing to make the GCH hold is required. Our forcing yields morasses that satisfy an extra property related to the homogeneity of the partial order; we (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  20
    Independence of Higher Kurepa Hypotheses.Sy-David Friedman & Mohammad Golshani - 2012 - Archive for Mathematical Logic 51 (5-6):621-633.
    We study the Generalized Kurepa hypothesis introduced by Chang. We show that relative to the existence of an inaccessible cardinal the Gap-n-Kurepa hypothesis does not follow from the Gap-m-Kurepa hypothesis for m different from n. The use of an inaccessible is necessary for this result.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30.  2
    Hyperclass Forcing in Morse-Kelley Class Theory.Carolin Antos & Sy-David Friedman - 2017 - Journal of Symbolic Logic 82 (2):549-575.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  13
    Hyperfine Structure Theory and Gap 1 Morasses.Sy-David Friedman, Peter Koepke & Boris Piwinger - 2006 - Journal of Symbolic Logic 71 (2):480 - 490.
    Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  14
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  33.  14
    On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
    Shelah has shown that $\aleph_1$-categoricity for Abstract Elementary Classes (AECs) is not absolute in the following sense: There is an example $K$ of an AEC (which is actually axiomatizable in the logic $L(Q)$) such that if $2^{\aleph_0}.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  6
    Potential Isomorphism of Elementary Substructures of a Strictly Stable Homogeneous Model.Sy-David Friedman, Tapani Hyttinen & Agatha C. Walczak-Typke - 2011 - Journal of Symbolic Logic 76 (3):987 - 1004.
    The results herein form part of a larger project to characterize the classification properties of the class of submodels of a homogeneous stable diagram in terms of the solvability (in the sense of [1]) of the potential isomorphism problem for this class of submodels. We restrict ourselves to locally saturated submodels of the monster model m of some power π. We assume that in Gödel's constructible universe , π is a regular cardinal at least the successor of the first cardinal (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  35.  4
    Baumgartnerʼs Conjecture and Bounded Forcing Axioms.David Asperó, Sy-David Friedman, Miguel Angel Mota & Marcin Sabok - 2013 - Annals of Pure and Applied Logic 164 (12):1178-1186.
  36.  10
    □ On the Singular Cardinals.James Cummings & Sy-David Friedman - 2008 - Journal of Symbolic Logic 73 (4):1307-1314.
    We give upper and lower bounds for the consistency strength of the failure of a combinatorial principle introduced by Jensen. "Square on singular cardinals".
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  37.  6
    Hypermachines.Sy-David Friedman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):620 - 636.
    The Infinite Time Turing Machine model [8] of Hamkins and Kidder is, in an essential sense, a "Σ₂-machine" in that it uses a Σ₂ Liminf Rule to determine cell values at limit stages of time. We give a generalisation of these machines with an appropriate Σ n rule. Such machines either halt or enter an infinite loop by stage ζ(n) = df μζ(n)[∃Σ(n) > ζ(n) L ζ(n) ≺ Σn L Σ(n) ], again generalising precisely the ITTM case. The collection of (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  38.  3
    Definable Normal Measures.Sy-David Friedman & Liuzhen Wu - 2015 - Annals of Pure and Applied Logic 166 (1):46-60.
  39.  3
    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.
  40.  4
    The Nonabsoluteness of Model Existence in Uncountable Cardinals for $L{Omega{1},Omega}$.Sy-David Friedman, Tapani Hyttinen & Martin Koerwien - 2013 - Notre Dame Journal of Formal Logic 54 (2):137-151.
    For sentences $\phi$ of $L_{\omega_{1},\omega}$, we investigate the question of absoluteness of $\phi$ having models in uncountable cardinalities. We first observe that having a model in $\aleph_{1}$ is an absolute property, but having a model in $\aleph_{2}$ is not as it may depend on the validity of the continuum hypothesis. We then consider the generalized continuum hypothesis context and provide sentences for any $\alpha\in\omega_{1}\setminus\{0,1,\omega\}$ for which the existence of a model in $\aleph_{\alpha}$ is nonabsolute . Finally, we present a complete (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41.  2
    Cobham Recursive Set Functions.Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller & Neil Thapen - 2016 - Annals of Pure and Applied Logic 167 (3):335-369.
  42.  1
    Large Cardinals and Lightface Definable Well-Orders, Without the Gch.Sy-David Friedman, Peter Holy & Philipp Lücke - 2015 - Journal of Symbolic Logic 80 (1):251-284.
  43. Theorem 1 (Easton's Theorem). There is a Forcing Extension L [G] of L in Which GCH Fails at Every Regular Cardinal. Assume That the Universe V of All Sets is Rich in the Sense That It Contains Inner Models with Large Cardinals. Then What is the Relationship Between Easton's Model L [G] and V? In Particular, Are These Models Compatible. [REVIEW]Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4).
  44.  2
    BPFA and Projective Well-Orderings of the Reals.Andrés Eduardo Caicedo & Sy-David Friedman - 2011 - Journal of Symbolic Logic 76 (4):1126-1136.
    If the bounded proper forcing axiom BPFA holds and ω 1 = ${\mathrm{\omega }}_{1}^{\mathrm{L}}$ , then there is a lightface ${\mathrm{\Sigma }}_{3}^{1}$ well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of "David's trick." We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface ${\mathrm{\Sigma }}_{4}^{1}$ , for many "consistently locally certified" relations R on $\mathrm{\mathbb{R}}$ . (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45.  2
    Internal Consistency and Global Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2008 - Journal of Symbolic Logic 73 (2):512 - 521.
    Global co-stationarity of the ground model from an N₂-c.c, forcing which adds a new subset of N₁ is internally consistent relative to an ω₁-Erdös hyperstrong cardinal and a sufficiently large measurable above.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  1
    Internal Consistency for Embedding Complexity.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):831-844.
    In a previous paper with M. Džamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size λ together with the value of 2λ for every regular λ. As part of a programme for examining when such global results can be true in an inner model, we build generics for these class forcings.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  47. An Inner Model for Global Domination.Sy-David Friedman & Katherine Thompson - 2009 - Journal of Symbolic Logic 74 (1):251-264.
    In this paper it is shown that the global statement that the dominating number for k is less than $2^k $ for all regular k, is internally consistent, given the existence of $0^\# $ . The possible range of values for the dominating number for k and $2^k $ which may be simultaneously true in an inner model is also explored.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  48. A Null Ideal for Inaccessibles.Sy-David Friedman & Giorgio Laguzzi - 2017 - Archive for Mathematical Logic 56 (5-6):691-697.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. BPFA and Inner Models.Sy-David Friedman - 2011 - Annals of the Japan Association for Philosophy of Science 19:29-36.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Fragments of Kripke–Platek Set Theory and the Metamathematics of $$\Alpha $$ Α -Recursion Theory.Sy-David Friedman, Wei Li & Tin Lok Wong - 2016 - Archive for Mathematical Logic 55 (7-8):899-924.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 56