| Publication | Date of Publication | Type |
|---|
On the ABK conjecture, alpha-well quasi orders and Dress-Schiffels product
Topology and its Applications | 2026-01-16 | Paper |
The chain covering number of a poset with no infinite antichains
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2024-03-01 | Paper |
| On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product | 2023-03-20 | Paper |
Two-process synchronization
Theoretical Computer Science | 2017-06-19 | Paper |
Event-based proof of the mutual exclusion property of Peterson's algorithm
Formalized Mathematics | 2016-04-20 | Paper |
A scattering of orders
Transactions of the American Mathematical Society | 2013-08-20 | Paper |
| Assertional and behavioral approaches to concurrency | 2013-01-28 | Paper |
More results in polychromatic Ramsey theory
Central European Journal of Mathematics | 2012-05-31 | Paper |
Logical classification of distributed algorithms (Bakery algorithms as an example)
Theoretical Computer Science | 2011-06-06 | Paper |
Proper forcing
Handbook of Set Theory | 2010-11-05 | Paper |
Cardinal Arithmetic
Handbook of Set Theory | 2010-11-05 | Paper |
| Lecture notes on ideal dichotomy | 2010-01-13 | Paper |
Poset algebras over well quasi-ordered posets
Algebra Universalis | 2008-07-30 | Paper |
Some results in polychromatic Ramsey theory
Journal of Symbolic Logic | 2007-10-17 | Paper |
On Jakovlev spaces
Israel Journal of Mathematics | 2007-10-09 | Paper |
Infinite games on finite sets
Israel Journal of Mathematics | 2007-09-03 | Paper |
Ladder gaps over stationary sets
Journal of Symbolic Logic | 2005-08-29 | Paper |
Self-stabilizing timestamps
Theoretical Computer Science | 2004-10-27 | Paper |
Covering $\mathbb R^{n+1}$ by graphs of $n$-ary functions and long linear orderings of Turing degrees
Proceedings of the American Mathematical Society | 2004-08-13 | Paper |
On poset Boolean algebras
Order | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2064460 (Why is no real title available?) | 2004-05-18 | Paper |
Coding with ladders a well ordering of the reals
Journal of Symbolic Logic | 2003-05-12 | Paper |
Coding with ladders a well ordering of the reals
Journal of Symbolic Logic | 2003-05-12 | Paper |
Self-stabilizing \(\ell\)-exclusion
Theoretical Computer Science | 2002-03-03 | Paper |
Lusin sequences under CH and under Martin's axiom
Fundamenta Mathematicae | 2001-12-11 | Paper |
On a superatomic Boolean algebra which is not generated by a well-founded sublattice
Israel Journal of Mathematics | 2001-11-01 | Paper |
| scientific article; zbMATH DE number 1295194 (Why is no real title available?) | 1999-09-23 | Paper |
| scientific article; zbMATH DE number 1314563 (Why is no real title available?) | 1999-07-11 | Paper |
Martin's axiom and \(\Delta_1^2\) well-ordering of the reals
Archive for Mathematical Logic | 1998-10-01 | Paper |
| scientific article; zbMATH DE number 1045793 (Why is no real title available?) | 1997-12-22 | Paper |
On interprocess communication and the implementation of multi-writer atomic registers
Theoretical Computer Science | 1997-02-28 | Paper |
On the mutual-exclusion problem -- a quest for minimal solutions
Theoretical Computer Science | 1994-07-31 | Paper |
| scientific article; zbMATH DE number 554488 (Why is no real title available?) | 1994-05-26 | Paper |
A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
Annals of Pure and Applied Logic | 1993-05-16 | Paper |
| Every Superatomic Subalgebra of an Interval Algebra is Embeddable in an Ordinal Algebra | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4118359 (Why is no real title available?) | 1989-01-01 | Paper |
A note on Dilworth's theorem in the infinite case
Order | 1987-01-01 | Paper |
Squares with diamonds and Souslin trees with special squares
Fundamenta Mathematicae | 1987-01-01 | Paper |
Initial segments of the degrees of size \(\aleph _ 1\)
Israel Journal of Mathematics | 1986-01-01 | Paper |
The Degrees of Constructibility of Cohen Reals
Proceedings of the London Mathematical Society | 1986-01-01 | Paper |
On the intersection of closed unbounded sets
Journal of Symbolic Logic | 1986-01-01 | Paper |
Isomorphism types of Aronszajn trees
Israel Journal of Mathematics | 1985-01-01 | Paper |
On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals
Advances in Mathematics | 1985-01-01 | Paper |
A Minimal Model for � CH: Iteration of Jensen's Reals
Transactions of the American Mathematical Society | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3901604 (Why is no real title available?) | 1984-01-01 | Paper |
Aronszajn trees on _2 and _3.
Annals of Pure and Applied Logic | 1983-01-01 | Paper |
On forcing without the continuum hypothesis
Journal of Symbolic Logic | 1983-01-01 | Paper |
Forcing closed unbounded sets
Journal of Symbolic Logic | 1983-01-01 | Paper |
