**Contact Information:**

**Name:** Vincent Guingona

**Office:** 121 Deichmann Bldg. (#58)

**Office Hours:** By appointment

**Email:** (last name) (at) math (dot) bgu (dot) ac (dot) il

**Introduction:**

Greetings! My name is Vincent Guingona and I am a mathematician. Starting Fall 2015, I will be a postdoc at Wesleyan University. Prior to that, I was a postdoc at Ben-Gurion University and a postdoc at the University of Notre Dame. I received my Ph.D. in mathematics from the University of Maryland College Park under the direction of Chris Laskowski. My research interests include Model Theory, specifically VC-minimal theories, VC-density, NIP theories, and definability of types. I am also interested in applications of model theory to algebra, combinatorics, and computational learning theory. I did my undergraduate work at the University of Chicago, and I am originally from Western Massachusetts.

My CV, My Publication List, My Graduate Thesis.

**Employment History:**

- Visiting Assistant Professor - Wesleyan University (starting September 2015)
- Postdoctoral Research Fellow - Ben-Gurion University of the Negev (August 2014 to June 2015)
- Visiting Assistant Professor - University of Notre Dame, Department of Mathematics. (July 2011 to June 2014)

**Education:**

**Graduate School:**University of Maryland, Department of Mathematics. (graduated: May 2011)

"On definability of types in dependent theories" (Defense Slides, Abstract, Thesis)*Thesis:*

Dr. M. Chris Laskowski*Advisor:*

**Undergraduate:**University of Chicago. (graduated: June 2005)**High School:**Mohawk Trail Regional High School, Buckland, MA. (graduated: June 2001)

**Papers:**

- On VC-density in VC-minimal theories, submitted.
**Abstract:**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^{eq}= dcl^{eq}, the VC-codensity of a formula is at most the number of free variables.

(Modnet Preprint 778, arXiv 1409.8060)

- A Local Characterization of VC-Minimality, Joint with: Uri Andrews -
*Proceedings of the American Mathematical Society*, to appear.**Abstract:**We show VC-minimality is Π^{0}_{4}-complete. In particular, we give a local characterization of VC-minimality. We also show dp-smallness is Π^{1}_{1}-complete.

- On a Common Generalization of Shelah's 2-Rank, dp-Rank, and o-Minimal Dimension, Joint with: Cameron Donnay Hill -
*Annals of Pure and Applied Logic*,**166**(2015), 502-525.**Abstract:**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-multiorder 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.

(Modnet Preprint 605, arXiv 1307.4113, Annals of Pure and Applied Logic)

- On VC-Density Over Indiscernible Sequences, Joint with: Cameron Donnay Hill -
*Mathematical Logic Quarterly*,**60**(2014), 59-65.**Abstract:**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.

(Modnet Preprint 363, arXiv 1108.2554, Mathematical Logic Quarterly)

- On VC-Minimal Fields and dp-Smallness,
*Archive for Mathematical Logic*,**53**(2014), 503-517.**Abstract:**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.

(Modnet Preprint 609, arXiv 1307.8004, Archive for Mathematical Logic)

- Convexly Orderable Groups and Valued Fields, Joint with: Joseph Flenner -
*Journal of Symbolic Logic*,**79**(2014), 154-170.**Abstract:**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.

(Modnet Preprint 505, arXiv 1210.0404, JSL on Cambridge Journals)

- Canonical Forest in Directed Families, Joint with: Joseph Flenner -
*Proceedings of the American Mathematical Society*,**142**(2014), 1849-1860.**Abstract:**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.

(Modnet Preprint 379, arXiv 1111.2843, Proceedings of the AMS)

- On VC-Minimal Theories and Variants, Joint with: Michael C. Laskowski -
*Archive for Mathematical Logic*,**52**, (2013), 743-758.**Abstract:**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.

(Modnet Preprint 364, arXiv 1110.4274, Archive for Mathematical Logic)

- On Uniform Definability of Types over Finite Sets -
*Journal of Symbolic Logic*,**77**(2012), 499-514.**Abstract:**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.

(Modnet Preprint 250, arXiv 1005.4924, JSL on Project Euclid)

- Dependence and Isolated Extensions -
*Proceedings of the American Mathematical Society*,**139**(2011), 3349-3357**Abstract:**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.

(Modnet Preprint 212, arXiv 0911.1361, Proceedings of the AMS)

**Invited Talks:**

*On VC-minimal theories*(UC Berkeley Model Theory Seminar -- March 26, 2014)*VC-density, dp-rank, and op-dimension*(Carnegie Mellon Model Theory Seminar -- November 11, 2013)*On classifying VC-minimal theories*(Hebrew University Logic Seminar -- March 13, 2013)*VC-density over indiscernible sequences*(Very Informal Gathering of Logicians at UCLA -- February 1, 2013)*On convexly orderable groups and valued fields*(CUNY Logic Workshop -- October 26, 2012)*VC-Density over indiscernible sequences*(Ohio State Logic Seminar -- April 10, 2012)*On VC-minimality in Algebraic Structures*(Model Theory Special Session - The 2012 North American Annual Meeting of the ASL -- April 3, 2011)*On VC-minimal theories*(Special Session on Model Theory - 2012 Spring Western Section Meeting -- March 3, 2012)*Recent developments on VC-minimal theories*(UW Madison Logic Seminar -- February 14, 2012)*On uniform definability of types over finite sets*(Model Theory Special Session - The 2011 North American Annual Meeting of the ASL -- March 26, 2011)*Definability of types and compression schemes*(University of Illinois at Chicago Logic Seminar -- February 1, 2011)*Definability of types and VC-density*(McMaster University Model Theory Seminar -- January 18, 2011)*On definability of types in dependent theories*(AMS Special Session, Model Theory of Fields and Applications - The 2011 Joint Mathematics Meeting in New Orleans -- January 7, 2011)*Compression Schemes and Definability of Types*(George Washington University Logic Seminar -- October 6 and 13, 2010)*Dependence and Definability of Types*(Notre Dame Logic Seminar -- April 15, 2010)*Learning Theory and Model Theory*(George Washington University Math Graduate Student Seminar -- February 20, 2009)

**Other Research:**

- I was a referee for the Notre Dame Journal of Formal Logic from Fall 2011 to Fall 2013.
- I participated in the Model Theory, Arithmetic Geometry and Number Theory at the Mathematical Sciences Research Institute, Berkeley, California, Spring 2014.
- I was the organizer for the Notre Dame Logic Seminar for Fall 2013.
- I participated in the Model Theory 2013 conference in Ravello, Italy, June 10 through June 15, 2013.
- I participated in the Workshop on Model Theory: Groups, Geometry, and Combinatorics in Olberwolfach, Germany, January 6 through January 12, 2013.
- I participated in the Neostability Theory workshop at the Banff International Research Station, January 29 through February 3, 2012.
- I was the organizer for the Maryland Logic Seminar for Fall 2010 and Spring 2011.
- I participated in the Mathematics Research Community 2010 -- Model Theory of Fields, June 19 through June 26, in Snowbird Resort, Utah.
- I participated in the University of Chicago Summer REU Program, Summer 2003 and Summer 2004.

**Teaching:**

- Currently researching.
- I gave a three-part lecture series titled "Model Theory and Computational Learning Theory" at Ben-Gurion, Fall 2014.
- I was the lecturer for Beginning Logic, MATH 10130, at Notre Dame, Fall 2013.
- I was the lecturer for Topics in Mathematical Logic, "NIP Theories and Computational Learning Theory," MATH 80510, at Notre Dame, Fall 2013.
- I was the lecturer for Calculus III, MATH 20550, at Notre Dame, Spring 2013.
- I was the lecturer for Calculus III, MATH 20550, at Notre Dame, Fall 2012.
- I was the lecturer for Calculus B, MATH 10360, at Notre Dame, Spring 2012.
- I was the lecturer for Calculus A, MATH 10350, at Notre Dame, Fall 2011.
- I substituted for MATH 713 at Maryland, three weeks of Spring 2011.
- I was a TA for MATH 220 at Maryland, Fall 2006 and Fall 2009.
- I was a TA for MATH 141 at Maryland, Spring 2007.
- I was an advisor for the undergraduate math club at Maryland, Fall 2007.
- I was a grader for MATH 405 at Maryland, Spring 2008.

**External Links:**

**Last updated:** June 28, 2015.