14 found
Order:
  1.  7
    What is the Theory ZFC Without Power Set?Victoria Gitman, Joel David Hamkins & Thomas A. Johnstone - 2016 - Mathematical Logic Quarterly 62 (4-5):391-406.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  9
    Virtual Large Cardinals.Victoria Gitman & Ralf Schindler - 2018 - Annals of Pure and Applied Logic 169 (12):1317-1334.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  13
    Ramsey-Like Cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
    One of the numerous characterizations of a Ramsey cardinal κ involves the existence of certain types of elementary embeddings for transitive sets of size κ satisfying a large fragment of ZFC. We introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. These new axioms serve to further our knowledge about the elementary embedding properties of smaller large cardinals, in particular those still consistent with (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  13
    Ramsey-Like Cardinals II.Victoria Gitman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):541-560.
  5.  59
    Inner Models with Large Cardinal Features Usually Obtained by Forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
    We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2 κ = κ +, another for which 2 κ = κ ++ and another in which the least strongly compact cardinal is supercompact. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  82
    A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
    If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of Hamkins.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  23
    Scott's Problem for Proper Scott Sets.Victoria Gitman - 2008 - Journal of Symbolic Logic 73 (3):845-860.
    Some 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and Nadel extended his result to Scott sets of size ω₁. Here, I show that assuming the Proper Forcing Axiom (PFA), every A-proper Scott set is the standard system of a model of PA. I define that a Scott set X is proper if the quotient Boolean algebra X/Fin is a proper partial order and A-proper (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  13
    Indestructibility Properties of Remarkable Cardinals.Yong Cheng & Victoria Gitman - 2015 - Archive for Mathematical Logic 54 (7-8):961-984.
  9.  12
    A Model of the Generic Vopěnka Principle in Which the Ordinals Are Not Mahlo.Victoria Gitman & Joel David Hamkins - 2019 - Archive for Mathematical Logic 58 (1-2):245-265.
    The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is relatively consistent with the existence of a \-definable class containing no regular cardinals. In such a model, there can be no \-reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  8
    Ehrenfeucht’s Lemma in Set Theory.Gunter Fuchs, Victoria Gitman & Joel David Hamkins - 2018 - Notre Dame Journal of Formal Logic 59 (3):355-370.
    Ehrenfeucht’s lemma asserts that whenever one element of a model of Peano arithmetic is definable from another, they satisfy different types. We consider here the analogue of Ehrenfeucht’s lemma for models of set theory. The original argument applies directly to the ordinal-definable elements of any model of set theory, and, in particular, Ehrenfeucht’s lemma holds fully for models of set theory satisfying V=HOD. We show that the lemma fails in the forcing extension of the universe by adding a Cohen real. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  6
    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  
  12.  16
    Proper and Piecewise Proper Families of Reals.Victoria Gitman - 2009 - Mathematical Logic Quarterly 55 (5):542-550.
    I introduced the notions of proper and piecewise proper families of reals to make progress on a long standing open question in the field of models of Peano Arithmetic [5]. A family of reals is proper if it is arithmetically closed and its quotient Boolean algebra modulo the ideal of finite sets is a proper poset. A family of reals is piecewise proper if it is the union of a chain of proper families each of whom has size ≤ ω1.Here, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Incomparable Ω1 -Like Models of Set Theory.Gunter Fuchs, Victoria Gitman & Joel David Hamkins - 2017 - Mathematical Logic Quarterly 63 (1-2):66-76.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    Easton's Theorem for Ramsey and Strongly Ramsey Cardinals.Brent Cody & Victoria Gitman - 2015 - Annals of Pure and Applied Logic 166 (9):934-952.