14 found
Order:
  1.  18
    On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ 1 -Dense Real Order Types.J. Steprans, Uri Abraham, Matatyahu Rubin & Saharon Shelah - 2002 - Bulletin of Symbolic Logic 8 (2):303.
    We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ℵ 1 -dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ℵ 1 -dense subsets of R are isomorphic, is consistent. We e.g. prove Con). Let K H , be the set of order types of ℵ 1 -dense homogeneous subsets of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  2.  13
    Aronszajn Trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Pure and Applied Logic 24 (3):213-230.
    Assuming the existence of a supercompact cardinal and a weakly compact cardinal above it, we provide a generic extension where there are no Aronszajn trees of height ω 2 or ω 3 . On the other hand we show that some large cardinal assumptions are necessary for such a consistency result.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  3.  45
    Forcing Closed Unbounded Sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.
    We discuss the problem of finding forcing posets which introduce closed unbounded subsets to a given stationary set.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4.  21
    A Δ22 Well-Order of the Reals and Incompactness of L.Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.
    A forcing poset of size 221 which adds no new reals is described and shown to provide a Δ22 definable well-order of the reals . The encoding of this well-order is obtained by playing with products of Aronszajn trees: some products are special while other are Suslin trees. The paper also deals with the Magidor–Malitz logic: it is consistent that this logic is highly noncompact.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  65
    Coding with Ladders a Well Ordering of the Reals.Uri Abraham & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (2):579-597.
    Any model of ZFC + GCH has a generic extension (made with a poset of size ℵ 2 ) in which the following hold: MA + 2 ℵ 0 = ℵ 2 +there exists a Δ 2 1 -well ordering of the reals. The proof consists in iterating posets designed to change at will the guessing properties of ladder systems on ω 1 . Therefore, the study of such ladders is a main concern of this article.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  14
    A Δ< Sup> 2< Sub> 2 Well-Order of the Reals and Incompactness of< I> L(< I> QMM).Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.
  7.  39
    Martin's Axiom and Well-Ordering of the Reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5):287-298.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  31
    Some Results in Polychromatic Ramsey Theory.Uri Abraham, James Cummings & Clifford Smyth - 2007 - Journal of Symbolic Logic 72 (3):865 - 896.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  23
    Martin's Axiom and $\Delta^2_1$ Well-Ordering of the Reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):287-298.
    Assuming an inaccessible cardinal $\kappa$ , there is a generic extension in which $MA + 2^{\aleph_0} = \kappa$ holds and the reals have a $\Delta^2_1$ well-ordering.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  46
    On Forcing Without the Continuum Hypothesis.Uri Abraham - 1983 - Journal of Symbolic Logic 48 (3):658-661.
  11.  33
    Ladder Gaps Over Stationary Sets.Uri Abraham & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (2):518 - 532.
    For a stationary set $S \subseteq \omega_{1}$ and a ladder system C over S, a new type of gaps called C-Hausdorff is introduced and investigated. We describe a forcing model of ZFC in which, for some stationary set S, for every ladder C over S, every gap contains a subgap that is C-Hausdorff. But for every ladder E over \omega_{1} \ S$ there exists a gap with no subgap that is E-Hausdorff. A new type of chain condition, called polarized chain (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    Preface.Uri Abraham, Lev Beklemishev, Paola D'Aquino & Marcus Tressl - 2016 - Annals of Pure and Applied Logic 167 (10):865-867.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    2010 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
  14.  8
    Free Sets for Commutative Families of Functions.Uri Abraham - 1989 - In Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.), Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. Sole Distributors for the U.S.A. And Canada, Elsevier Science.
    Direct download  
     
    Export citation  
     
    Bookmark