Source author record

Robert Woodrow

Robert Woodrow appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO math.GR math.LO math.DS

Catalog footprint

What is connected

6works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

An example of Tateno disproving conjectures of Bonato-Tardif, Thomasse, and Tyomkyn

In his 2008 thesis, Tateno claimed a counterexample to the Bonato-Tardif conjecture regarding the number of equimorphy classes of trees. In this paper we revisit Tateno's unpublished ideas to provide a rigorous exposition, constructing locally finite trees having an arbitrary finite number of equimorphy classes; an adaptation provides partial orders with a similar conclusion. At the same time these examples also disprove conjectures by Thomasse and Tyomkyn.

preprint2020arXiv

Siblings of countable cographs

We show that every countable cograph has either one or infinitely many siblings. This answers, very partially, a conjecture of Thomassé. The main tools are the notion of well quasi ordering and the correspondence between cographs and some labelled ordered trees.

preprint2020arXiv

The poset of copies for automorphism groups of countable relational structures

Let $\mathrm{G}$ be a subgroup of the symmetric group $\mathfrak S(U)$ of all permutations of a countable set $U$. Let $\overline{\mathrm{G}}$ be the topological closure of $\mathrm{G}$ in the function topology on $U^U$. We initiate the study of the poset $\overline{\mathrm{G}}[U]:=\{f[U]\mid f\in \overline{\mathrm{G}}\}$ of images of the functions in $\overline{\mathrm{G}}$, being ordered under inclusion. This set $\overline{\mathrm{G}}[U]$ of subsets of the set $U$ will be called the \emph{poset of copies for} the group $\mathrm{G}$. A denomination being justified by the fact that for every subgroup $\mathrm{G}$ of the symmetric group $\mathfrak S(U)$ there exists a homogeneous relational structure $R$ on $U$ such that $\overline G$ is the set of embeddings of the homogeneous structure $R$ into itself and $\overline{\mathrm{G}}[U]$ is the set of copies of $R$ in $R$ and that the set of bijections $\overline G\cap \mathfrak S(U)$ of $U$ to $U$ forms the group of automorphisms of $\mathrm{R}$.

preprint2014arXiv

Ramsey precompact expansions of homogeneous directed graphs

In 2005, Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow, immediately leading to an explicit representation of this invariant in many concrete cases. More recently, the framework was generalized allowing for further applications, and the purpose of this paper is to apply these new methods in the context of homogeneous directed graphs. In this paper, we show that the age of any homogeneous directed graph allows a Ramsey precompact expansion. Moreover, we verify the relative expansion properties and consequently describe the respective universal minimal flows.

preprint2012arXiv

Overgroups of the Automorphism Group of the Rado Graph

We are interested in overgroups of the automorphism group of the Rado graph. One class of such overgroups is completely understood; this is the class of reducts. In this article we tie recent work on various other natural overgroups, in particular establishing group connections between them and the reducts.

preprint2011arXiv

Convex Sublattices of a Lattice and a Fixed Point Property

The collection CL(T) of nonempty convex sublattices of a lattice T ordered by bi-domination is a lattice. We say that T has the fixed point property for convex sublattices (CLFPP for short) if every order preserving map f from T to CL(T) has a fixed point, that is x > f(x) for some x > T. We examine which lattices may have CLFPP. We introduce the selection property for convex sublattices (CLSP); we observe that a complete lattice with CLSP must have CLFPP, and that this property implies that CL(T) is complete. We show that for a lattice T, the fact that CL(T) is complete is equivalent to the fact that T is complete and the lattice of all subsets of a countable set, ordered by containment, is not order embeddable into T. We show that for the lattice T = I(P) of initial segments of a poset P, the implications above are equivalences and that these properties are equivalent to the fact that P has no infinite antichain. A crucial part of this proof is a straightforward application of a wonderful Hausdorff? type result due to Abraham, Bonnet, Cummings, Dzamondja and Thompson [2010]. Key words and phrases. posets, lattices, convex sublattice, retracts, fixed point property