Source author record

Rebecca Coulson

Rebecca Coulson 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.LO

Catalog footprint

What is connected

3works

2topics

2close 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

Fraisse Structures with SDAP+, Part I: Indivisibility

This is Part I of a two-part series regarding Ramsey properties of Fraisse structures satisfying a property called SDAP+, which strengthens the Disjoint Amalgamation Property. We prove that every Fraisse structure in a finite relational language with relation symbols of any finite arity satisfying this property is indivisible. Novelties include a new formulation of coding trees in terms of 1-types over initial segments of the Fraisse structure, and a direct proof of indivisibility which uses the method of forcing to conduct unbounded searches for finite sets. In Part II, we prove that every Fraisse structure in a finite relational language with relation symbols of arity at most two having this property has finite big Ramsey degrees which have a simple characterization. It follows that any such Fraisse structure admits a big Ramsey structure. Part II utilizes a theorem from Part I as a pigeonhole principle for induction arguments. This work offers a streamlined and unifying approach to Ramsey theory on some seemingly disparate classes of Fraisse structures.

preprint2022arXiv

Fraisse structures with SDAP+, Part II: Simply characterized big Ramsey structures

This is Part II of a two-part series regarding Ramsey properties of Fraisse structures satisfying a property called SDAP+, which strengthens the Disjoint Amalgamation Property. In Part I, we prove that every Fraisse structure in a finite relational language with relation symbols of any finite arity satisfying this property is indivisible. In Part II, we prove that every Fraisse structure in a finite relational language with relation symbols of arity at most two having this property has finite big Ramsey degrees which have a simple characterization. It follows that any such Fraisse structure admits a big Ramsey structure. Part II utilizes the notion of coding trees of 1-types developed in Part I and a theorem from Part I which functions as a pigeonhole principle for induction arguments in this paper. Our approach yields a direct characterization of the degrees without appeal to the standard method of "envelopes". This work offers a streamlined and unifying approach to Ramsey theory on some seemingly disparate classes of Fraisse structures.

preprint2020arXiv

The Generic Bipartite Graphs of Diameter 3: Their Ages and their Almost Sure Theories

In an effort to find more examples of amalgamation classes whose almost sure theories are the same as their generic theories as well as amalgamation classes whose almost sure theories are different from their generic theories, we address our attention to two new cases: the bipartite diameter 3 metrically homogeneous graphs of generic type. These graphs were identified by Cherlin, and are determined by certain forbidden configurations. In this paper, we explicitly identify and enumerate their ages, for which we then establish both unlabeled and labeled 0-1 laws. Finally, we show that for one of these bipartite graphs the almost sure theory matches its generic theory, and for the other bipartite graph it does not.