The following pages link to Uri Abraham (Q193710):
Displaying 46 items.
- Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900) (← links)
- More results in polychromatic Ramsey theory (Q424124) (← links)
- Logical classification of distributed algorithms (Bakery algorithms as an example) (Q541220) (← links)
- On interprocess communication and the implementation of multi-writer atomic registers (Q672706) (← links)
- Poset algebras over well quasi-ordered posets (Q934887) (← links)
- Infinite games on finite sets (Q995392) (← links)
- Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). (Q1052315) (← links)
- Isomorphism types of Aronszajn trees (Q1059070) (← links)
- On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types (Q1071014) (← links)
- A note on Dilworth's theorem in the infinite case (Q1093655) (← links)
- A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) (Q1208082) (← links)
- On the mutual-exclusion problem -- a quest for minimal solutions (Q1329738) (← links)
- Martin's axiom and \(\Delta_1^2\) well-ordering of the reals (Q1354340) (← links)
- Initial segments of the degrees of size \(\aleph _ 1\) (Q1820153) (← links)
- Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals (Q1820156) (← links)
- On poset Boolean algebras (Q1826512) (← links)
- Self-stabilizing timestamps (Q1884893) (← links)
- Two-process synchronization (Q2357145) (← links)
- On Jakovlev spaces (Q2382330) (← links)
- Lusin sequences under CH and under Martin's axiom (Q2759149) (← links)
- A scattering of orders (Q2844838) (← links)
- The Degrees of Constructibility of Cohen Reals (Q3026996) (← links)
- Proper Forcing (Q3053892) (← links)
- Cardinal Arithmetic (Q3053901) (← links)
- Coding with ladders a well ordering of the reals (Q3149984) (← links)
- A Minimal Model for � CH: Iteration of Jensen's Reals (Q3328537) (← links)
- On forcing without the continuum hypothesis (Q3342560) (← links)
- (Q3656208) (← links)
- (Q3679872) (← links)
- Forcing closed unbounded sets (Q3684115) (← links)
- On the intersection of closed unbounded sets (Q3770520) (← links)
- Squares with diamonds and Souslin trees with special squares (Q3773867) (← links)
- Every Superatomic Subalgebra of an Interval Algebra is Embeddable in an Ordinal Algebra (Q4013467) (← links)
- (Q4248071) (← links)
- (Q4256353) (← links)
- (Q4288290) (← links)
- (Q4347428) (← links)
- (Q4461951) (← links)
- (Q4732463) (← links)
- Covering $\mathbb R^{n+1}$ by graphs of $n$-ary functions and long linear orderings of Turing degrees (Q4813768) (← links)
- (Q4904146) (← links)
- Ladder gaps over stationary sets (Q5311739) (← links)
- Some results in polychromatic Ramsey theory (Q5422307) (← links)
- On a superatomic Boolean algebra which is not generated by a well-founded sublattice (Q5939283) (← links)
- Self-stabilizing \(\ell\)-exclusion (Q5958773) (← links)
- The chain covering number of a poset with no infinite antichains (Q6122520) (← links)
