Source author record

Lynn Scow

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO math.CT

Catalog footprint

Research overview

5works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Categorical Constructions and the Ramsey Property

It has become obvious in the recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this paper we explicitely put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under some standard categorical constructions. We use elementary category theory to generalize some combinatorial results and using the machinery of very basic category theory provide new combinatorial statements (whose formulations do not refer to category-theoretic notions).

preprint2015arXiv

Characterizing Model-Theoretic Dividing Lines via Collapse of Generalized Indiscernibles

We use the notion of collapse of generalized indiscernible sequences to classify various model theoretic dividing lines. In particular, we use collapse of n-multi-order indiscernibles to characterize op-dimension n; collapse of function-space indiscernibles (i.e. parameterized equivalence relations) to characterize rosy theories; and finally, convex equivalence relation indiscernibles to characterize NTP2 theories.

preprint2014arXiv

Indiscernibles, EM-types, and Ramsey Classes of Trees

It was shown in \cite{sc12} that for a certain class of structures $\I$, $\I$-indexed indiscernible sets have the modeling property just in case the age of $\I$ is a Ramsey class. We expand this known class of structures from ordered structures in a finite relational language to ordered, locally finite structures which isolate quantifier-free types by way of quantifier-free formulas. As a corollary, we may conclude that certain classes of finite trees are Ramsey, some previously known. See updated paper for new references.

preprint2013arXiv

Tree indiscernibilities, revisited

We give definitions that distinguish between two notions of indiscernibility for a set $\{a_η\mid η\in \W\}$ that saw original use in \cite{sh90}, which we name \textit{$\s$-} and \textit{$\n$-indiscernibility}. Using these definitions and detailed proofs, we prove $\s$- and $\n$-modeling theorems and give applications of these theorems. In particular, we verify a step in the argument that TP is equivalent to TP $_1$ or TP $_2$ that has not seen explication in the literature. In the Appendix, we exposit the proofs of \citep[{App. 2.6, 2.7}]{sh90}, expanding on the details.

preprint2011arXiv

Characterization of NIP theories by ordered graph-indiscernibles

We generalize the Unstable Formula Theorem characterization of stable theories from \citep{sh78}: that a theory $T$ is stable just in case any infinite indiscernible sequence in a model of $T$ is an indiscernible set. We use a generalized form of indiscernibles from \citep{sh78}: in our notation, a sequence of parameters from an $L$ -structure $M$ , $(b_i : i \in I)$ , indexed by an $L'$ -structure $I$ is \emph{ $L'$ -generalized indiscernible in $M$ } if qftp$^{L'}(\ov{i};I)$=qftp$^{L'}(\ov{j};I)$ implies tp$^L(\ov{b}_{\ov{i}}; M)$ = tp$^L(\ov{b}_{\ov{j}};M)$ for all same-length, finite $\ov{i}, \ov{j}$ from $I$ . Let $T_g$ be the theory of linearly ordered graphs (symmetric, with no loops) in the language with signature $L_g=\{<, R\}$ . Let $\K_g$ be the class of all finite models of $T_g$ . We show that a theory $T$ has NIP if and only if any $L_g$ -generalized indiscernible in a model of $T$ indexed by an $L_g$ -structure with age equal to $\K_g$ is an indiscernible sequence.

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.