Currently displaying 1 – 7 of 7

Showing per page

Order by Relevance | Title | Year of publication

More results in polychromatic Ramsey theory

Uri AbrahamJames Cummings — 2012

Open Mathematics

We study polychromatic Ramsey theory with a focus on colourings of [ω 2]2. We show that in the absence of GCH there is a wide range of possibilities. In particular each of the following is consistent relative to the consistency of ZFC: (1) 2ω = ω 2 and ω 2 p o l y ( α ) 0 - b d d 2 for every α <ω 2; (2) 2ω = ω 2 and ω 2 p o l y ( ω 1 ) 2 - b d d 2 .

Partition properties of ω1 compatible with CH

Uri AbrahamStevo Todorčević — 1997

Fundamenta Mathematicae

A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.

Hausdorff ’s theorem for posets that satisfy the finite antichain property

Uri AbrahamRobert Bonnet — 1999

Fundamenta Mathematicae

Hausdorff characterized the class of scattered linear orderings as the least family of linear orderings that includes the ordinals and is closed under ordinal summations and inversions. We formulate and prove a corresponding characterization of the class of scattered partial orderings that satisfy the finite antichain condition (FAC).  Consider the least class of partial orderings containing the class of well-founded orderings that satisfy the FAC and is closed under the following operations: (1)...

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

Ievgen IvanovMykola NikitchenkoUri Abraham — 2015

Formalized Mathematics

Proving properties of distributed algorithms is still a highly challenging problem and various approaches that have been proposed to tackle it [1] can be roughly divided into state-based and event-based proofs. Informally speaking, state-based approaches define the behavior of a distributed algorithm as a set of sequences of memory states during its executions, while event-based approaches treat the behaviors by means of events which are produced by the executions of an algorithm. Of course, combined...

Page 1

Download Results (CSV)