BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Lynn Scow

Lynn Scow contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.COmath.CT

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;$-structure $I$ is \emph{$L&#39;$-generalized indiscernible in $M$} if qftp$^{L&#39;}(\ov{i};I)$=qftp$^{L&#39;}(\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.

0 citations0 reviewsNo code linkedOpen access