77 found
Order:
  1. (1 other version)Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2. (1 other version)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   19 citations  
  3. 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 (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  4. Maximality and ontology: how axiom content varies across philosophical frameworks.Sy-David Friedman & Neil Barton - 2017 - Synthese 197 (2):623-649.
    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 (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  61
    (1 other version)Internal consistency and the inner model hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.
    There are two standard ways to establish consistency in set theory. One is to prove consistency using inner models, in the way that Gödel proved the consistency of GCH using the inner model L. The other is to prove consistency using outer models, in the way that Cohen proved the consistency of the negation of CH by enlarging L to a forcing extension L[G].But we can demand more from the outer model method, and we illustrate this by examining Easton's strengthening (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  6.  73
    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  
     
    Bookmark   13 citations  
  7.  49
    A model of second-order arithmetic satisfying AC but not DC.Sy-David Friedman, Victoria Gitman & Vladimir Kanovei - 2019 - Journal of Mathematical Logic 19 (1):1850013.
    We show that there is a [Formula: see text]-model of second-order arithmetic in which the choice scheme holds, but the dependent choice scheme fails for a [Formula: see text]-assertion, confirming a conjecture of Stephen Simpson. We obtain as a corollary that the Reflection Principle, stating that every formula reflects to a transitive set, can fail in models of [Formula: see text]. This work is a rediscovery by the first two authors of a result obtained by the third author in [V. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  30
    (1 other version)On strong forms of reflection in set theory.Sy-David Friedman & Radek Honzik - 2016 - Mathematical Logic Quarterly 62 (1-2):52-58.
    In this paper we review the most common forms of reflection and introduce a new form which we call sharp‐generated reflection. We argue that sharp‐generated reflection is the strongest form of reflection which can be regarded as a natural generalization of the Lévy reflection theorem. As an application we formulate the principle sharp‐maximality with the corresponding hypothesis. The statement is an analogue of the (Inner Model Hypothesis, introduced in ) which is compatible with the existence of large cardinals.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  84
    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.
  10.  43
    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  
     
    Bookmark   13 citations  
  11.  29
    The Eightfold Way.James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot & Dima Sinapova - 2018 - Journal of Symbolic Logic 83 (1):349-371.
    Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at${\kappa ^{ + + }}$, assuming that$\kappa = {\kappa ^{ < \kappa }}$and there is a weakly compact cardinal aboveκ.If in additionκis supercompact then we can forceκto be${\aleph _\omega }$in the extension. The proofs combine the techniques of adding and then destroying (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  24
    Evidence for Set-Theoretic Truth and the Hyperuniverse Programme.Sy-David Friedman - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 75-107.
    I discuss three potential sources of evidence for truth in set theory, coming from set theory’s roles as a branch of mathematics and as a foundation for mathematics as well as from the intrinsic maximality feature of the set concept. I predict that new non first-order axioms will be discovered for which there is evidence of all three types, and that these axioms will have significant first-order consequences which will be regarded as true statements of set theory. The bulk of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  77
    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  
     
    Bookmark   9 citations  
  14.  74
    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 (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15. Countabilism and Maximality Principles.Neil Barton & Sy-David Friedman - manuscript
    It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  56
    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  
     
    Bookmark   11 citations  
  17.  39
    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  
     
    Bookmark   11 citations  
  18.  61
    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.
  19.  55
    On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.
    We study the structure of Σ11 equivalence relations on hyperarithmetical subsets of ω under reducibilities given by hyperarithmetical or computable functions, called h-reducibility and FF-reducibility, respectively. We show that the structure is rich even when one fixes the number of properly equation imagei.e., Σ11 but not equation image equivalence classes. We also show the existence of incomparable Σ11 equivalence relations that are complete as subsets of ω × ω with respect to the corresponding reducibility on sets. We study complete Σ11 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  26
    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   4 citations  
  21.  39
    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   7 citations  
  22.  30
    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 (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  23.  33
    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 (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24.  58
    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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  25.  44
    Rank-into-rank hypotheses and the failure of GCH.Vincenzo Dimonte & Sy-David Friedman - 2014 - Archive for Mathematical Logic 53 (3-4):351-366.
    In this paper we are concerned about the ways GCH can fail in relation to rank-into-rank hypotheses, i.e., very large cardinals usually denoted by I3, I2, I1 and I0. The main results are a satisfactory analysis of the way the power function can vary on regular cardinals in the presence of rank-into-rank hypotheses and the consistency under I0 of the existence of j:Vλ+1≺Vλ+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${j : V_{\lambda+1} {\prec} V_{\lambda+1}}$$\end{document} with the failure of GCH (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  22
    (1 other version)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  
     
    Bookmark   4 citations  
  27.  82
    Foundational implications of the inner model hypothesis.Tatiana Arrigoni & Sy-David Friedman - 2012 - Annals of Pure and Applied Logic 163 (10):1360-1366.
  28.  16
    Embeddings Into Outer Models.Monroe Eskew & Sy-David Friedman - 2022 - Journal of Symbolic Logic 87 (4):1301-1321.
    We explore the possibilities for elementary embeddings $j : M \to N$, where M and N are models of ZFC with the same ordinals, $M \subseteq N$, and N has access to large pieces of j. We construct commuting systems of such maps between countable transitive models that are isomorphic to various canonical linear and partial orders, including the real line ${\mathbb R}$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  68
    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 (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  30.  30
    The Hyperuniverse Project and Maximality.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.) - 2018 - Basel, Switzerland: Birkhäuser.
    This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory. The Hyperuniverse Project was supported by the John (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  52
    Analytic equivalence relations and bi-embeddability.Sy-David Friedman & Luca Motto Ros - 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 (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  32.  23
    (1 other version)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   3 citations  
  33.  20
    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.
    The foundation scheme in set theory asserts that every nonempty class has an ∈\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in $$\end{document}-minimal element. In this paper, we investigate the logical strength of the foundation principle in basic set theory and α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory. We take KP set theory without foundation as the base theory. We show that KP-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^-$$\end{document} + Π1\documentclass[12pt]{minimal} \usepackage{amsmath} (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34. 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 (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Set Theory and Structures.Neil Barton & Sy-David Friedman - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 223-253.
    Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  41
    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 (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  31
    Generic coding with help and amalgamation failure.Sy-David Friedman & Dan Hathaway - 2021 - Journal of Symbolic Logic 86 (4):1385-1395.
    We show that if M is a countable transitive model of $\text {ZF}$ and if $a,b$ are reals not in M, then there is a G generic over M such that $b \in L[a,G]$. We then present several applications such as the following: if J is any countable transitive model of $\text {ZFC}$ and $M \not \subseteq J$ is another countable transitive model of $\text {ZFC}$ of the same ordinal height $\alpha $, then there is a forcing extension N of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  17
    On the Set-Generic Multiverse.Sy-David Friedman, Sakaé Fuchino & Hiroshi Sakai - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 109-124.
    The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver’s theorem and Bukovský’s theorem assert that set-generic extensions of a given ground model constitute a quite reasonable and sufficiently general class of standard models of set-theory.In Sects. 2 and 3 of this note, we give a proof of Bukovsky’s theorem in a modern setting ). In Sect. 4 we check that the multiverse of set-generic extensions (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  22
    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.  42
    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)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  36
    A null ideal for inaccessibles.Sy-David Friedman & Giorgio Laguzzi - 2017 - Archive for Mathematical Logic 56 (5-6):691-697.
    In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of 2κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2^\kappa $$\end{document}, κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document} inaccessible, and study its associated ideal of null sets and notion of measurability. This issue was addressed by Shelah ), arXiv:0904.0817, Problem 0.5) and concerns the definition of a forcing which is κκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. (2 other versions)The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  23
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  24
    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.
  45.  42
    Safe recursive set functions.Arnold Beckmann, Samuel R. Buss & Sy-David Friedman - 2015 - Journal of Symbolic Logic 80 (3):730-762.
  46.  17
    A wellorder of the reals with saturated.Sy-David Friedman & Stefan Hoffelner - 2019 - Journal of Symbolic Logic 84 (4):1466-1483.
    We show that, assuming the existence of the canonical inner model with one Woodin cardinal $M_1 $, there is a model of $ZFC$ in which the nonstationary ideal on $\omega _1 $ is $\aleph _2 $-saturated and whose reals admit a ${\rm{\Sigma }}_4^1 $-wellorder.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  18
    A wellorder of the reals with NS ω 1 saturated.Sy-David Friedman & Stefan Hoffelner - forthcoming - Journal of Symbolic Logic:1-22.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  31
    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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  40
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  49
    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  
     
    Bookmark   2 citations  
1 — 50 / 77