On the consistency of some partition theorems for continuous colorings, and the structure of ℵ1-dense real order types U Abraham, M Rubin, S Shelah Annals of pure and applied logic 29 (2), 123-206, 1985 | 138 | 1985 |
Cardinal arithmetic U Abraham, M Magidor Handbook of set theory, 1149-1227, 2010 | 135 | 2010 |
Forcing closed unbounded sets U Abraham, S Shelah The Journal of Symbolic Logic 48 (3), 643-657, 1983 | 124 | 1983 |
Proper forcing U Abraham Handbook of set theory, 333-394, 2009 | 117 | 2009 |
Aronszajn trees on ℵ2 and ℵ3 U Abraham Annals of Pure and Applied Logic 24 (3), 213-230, 1983 | 105 | 1983 |
Partition properties of ω1 compatible with CH U Abraham, S Todorčević Fundamenta Mathematicae 152 (2), 165-181, 1997 | 104 | 1997 |
Isomorphism types of Aronszajn trees U Abraham, S Shelah Israel Journal of Mathematics 50 (1), 75-113, 1985 | 85 | 1985 |
Martin’s axiom does not imply that every two ℕ1-dense sets of reals are isomorphic U Avraham, S Shelah Israel Journal of Mathematics 38 (1), 161-176, 1981 | 76 | 1981 |
Self-stabilizing ℓ-exclusion U Abraham, S Dolev, T Herman, I Koll Theoretical Computer Science 266 (1-2), 653-692, 2001 | 50 | 2001 |
A Δ22 well-order of the reals and incompactness of L (QMM) U Abraham, S Shelah Annals of Pure and Applied Logic 59 (1), 1-32, 1993 | 49 | 1993 |
On global-time and inter-process communication MZ Kwiatkowska, MW Shields, RM Thomas, U Abraham, S Ben-David, ... Semantics for Concurrency: Proceedings of the International BCS-FACS …, 1990 | 40 | 1990 |
On interprocess communication and the implementation of multi-writer atomic registers U Abraham Theoretical computer science 149 (2), 257-298, 1995 | 32 | 1995 |
Initial segments of the degrees of size ℵ1 U Abraham, RA Shore Israel Journal of Mathematics 53, 1-51, 1986 | 32 | 1986 |
On the intersection of closed unbounded sets U Abraham, S Shelah The Journal of Symbolic Logic 51 (1), 180-189, 1986 | 31 | 1986 |
Models for concurrency U Abraham CRC Press, 2020 | 30 | 2020 |
A minimal model for¬ 𝐶𝐻: iteration of Jensen’s reals U Abraham Transactions of the American Mathematical Society 281 (2), 657-674, 1984 | 30 | 1984 |
Squares with diamonds and Souslin trees with special squares U Abraham, S Shelah, R Solovay Fundamenta Mathematicae 127, 133-162, 1987 | 28 | 1987 |
Bakery algorithms U Abraham Manuscript, 35, 1993 | 27 | 1993 |
Hausdorff’s theorem for posets that satisfy the finite antichain property U Abraham, R Bonnet Fundamenta Mathematicae 159 (1), 51-69, 1999 | 26 | 1999 |
A note on Dilworth's theorem in the infinite case U Abraham Order 4, 107-125, 1987 | 25 | 1987 |