9,027 research outputs found
Dominating the Erdos-Moser theorem in reverse mathematics
The Erdos-Moser theorem (EM) states that every infinite tournament has an
infinite transitive subtournament. This principle plays an important role in
the understanding of the computational strength of Ramsey's theorem for pairs
(RT^2_2) by providing an alternate proof of RT^2_2 in terms of EM and the
ascending descending sequence principle (ADS). In this paper, we study the
computational weakness of EM and construct a standard model (omega-model) of
simultaneously EM, weak K\"onig's lemma and the cohesiveness principle, which
is not a model of the atomic model theorem. This separation answers a question
of Hirschfeldt, Shore and Slaman, and shows that the weakness of the
Erdos-Moser theorem goes beyond the separation of EM from ADS proven by Lerman,
Solomon and Towsner.Comment: 36 page
Combinatorial Properties of Finite Models
We study countable embedding-universal and homomorphism-universal structures
and unify results related to both of these notions. We show that many universal
and ultrahomogeneous structures allow a concise description (called here a
finite presentation). Extending classical work of Rado (for the random graph),
we find a finite presentation for each of the following classes: homogeneous
undirected graphs, homogeneous tournaments and homogeneous partially ordered
sets. We also give a finite presentation of the rational Urysohn metric space
and some homogeneous directed graphs.
We survey well known structures that are finitely presented. We focus on
structures endowed with natural partial orders and prove their universality.
These partial orders include partial orders on sets of words, partial orders
formed by geometric objects, grammars, polynomials and homomorphism orders for
various combinatorial objects.
We give a new combinatorial proof of the existence of embedding-universal
objects for homomorphism-defined classes of structures. This relates countable
embedding-universal structures to homomorphism dualities (finite
homomorphism-universal structures) and Urysohn metric spaces. Our explicit
construction also allows us to show several properties of these structures.Comment: PhD thesis, unofficial version (missing apple font
- …