Source author record

Vincent Guingona

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

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

11works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

On VC-density in VC-minimal theories

We show that any formula with two free variables in a VC-minimal theory has VC-codensity at most two. Modifying the argument slightly, we give a new proof of the fact that, in a VC-minimal theory where acl = dcl, the VC-codensity of a formula is at most the number of free variables.

preprint2013arXiv

Convexly orderable groups and valued fields

We consider the model theoretic notion of convex orderability, which fits strictly between the notions of VC-minimality and dp-minimality. In some classes of algebraic theories, however, we show that convex orderability and VC-minimality are equivalent, and use this to give a complete classification of VC-minimal theories of ordered groups and abelian groups. Consequences for fields are also considered, including a necessary condition for a theory of valued fields to be quasi-VC-minimal. For example, the p-adics are not quasi-VC-minimal.

preprint2013arXiv

On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension

In this paper, we build a dimension theory related to Shelah's 2-rank, dp-rank, and o-minimal dimension. We call this dimension op-dimension. We exhibit the notion of the n-multi-order property, generalizing the order property, and use this to create op-rank, which generalizes 2-rank. From this we build op-dimension. We show that op-dimension bounds dp-rank, that op-dimension is sub-additive, and op-dimension generalizes o-minimal dimension in o-minimal theories.

preprint2013arXiv

On VC-density over indiscernible sequences

In this paper, we study VC-density over indiscernible sequences (denoted VC_ind-density). We answer an open question in [1], showing that VC_ind-density is always integer valued. We also show that VC_ind-density and dp-rank coincide in the natural way.

preprint2013arXiv

On VC-minimal fields and dp-smallness

In this paper, we show that VC-minimal ordered fields are real closed. We introduce a notion, strictly between convexly orderable and dp-minimal, that we call dp-small, and show that this is enough to characterize many algebraic theories. For example, dp-small ordered groups are abelian divisible and dp-small ordered fields are real closed.

preprint2011arXiv

Canonical forests in directed families

Two uniqueness results on representations of sets constructible in a directed family of sets are given. In the unpackable case, swiss cheese decompositions are unique. In the packable case, they are not unique but admit a quasi-ordering under which the minimal decomposition is unique. Both cases lead to a one-dimensional elimination of imaginaries in VC-minimal and quasi-VC-minimal theories.

preprint2011arXiv

Definability of types over finite partial order indiscernibles

In this paper, we show that a partitioned formula ϕis dependent if and only if ϕhas uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by giving a decomposition of the truth values of an externally definable formula on a finite partial order indiscernible.

preprint2011arXiv

On VC-minimal theories and variants

In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablility and show that this lies strictly between VC-minimality and dp-minimality. Next, we define the notion of weak VC-minimality, show it lies strictly between VC-minimality and dependence, and show that all unstable weakly VC-minimal theories interpret an infinite linear order. Finally, we define the notion full VC-minimality, show that this lies strictly between weak o-minimality and VC-minimality, and show that theories that are fully VC-minimal have low VC-density.

preprint2010arXiv

On uniform definability of types over finite sets

In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to well-known properties in model theory. We recall that stable theories and weakly o-minimal theories have UDTFS and UDTFS implies dependence. We then show that all dp-minimal theories have UDTFS.

preprint2009arXiv

Dependence and Isolated Extensions

In this paper, we show that ϕis a dependent formula if and only if all ϕ-types have an extension to a ϕ-isolated ϕ-type that is an "elementary ϕ-extension" (see Definition 2.3 in the paper). Moreover, we show that the domain of this extension adds at most 2 times the independence dimension of ϕnew elements to the domain of the original ϕ-type. We give corollaries to this theorem and discuss parallels to the stable setting.

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.

Vincent Guingona

Research overview

Is this your work?

11 publications

Characterizing Model-Theoretic Dividing Lines via Collapse of Generalized Indiscernibles

On VC-density in VC-minimal theories

Convexly orderable groups and valued fields

On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension

On VC-density over indiscernible sequences

On VC-minimal fields and dp-smallness

Canonical forests in directed families

Definability of types over finite partial order indiscernibles

On VC-minimal theories and variants

On uniform definability of types over finite sets

Dependence and Isolated Extensions

See the researcher in context

Building this map preview