Where: Kirwan Hall 1311

Speaker: Organizational Meeting () -

Where: Kirwan Hall 1311

Speaker: Douglas Ulrich (UMD) -

Abstract: We show that if a first order theory T has the Schroder-Bernstein property then it is not Borel complete, assuming some mild large cardinals.

Where: Kirwan Hall 1311

Speaker: Danul Gunatilleka (University of Maryland, College Park) -

Abstract: We isolate a special case of the ab initio constructions that we propose to call Baldwin-Shi hypergraphs. The theories in question are known to be either strictly stable or omega-stable and are known to have the dimensional order property. It is also known that the in case the theory is strictly stable it is not small. So we count the number of non-ismorphic countable models in the case the theory is omega-stable. We will also take a look at the regular types that arise in this case.

Where: Kirwan Hall 1311

Speaker: John Goodrick (Los Andes University) - https://matematicas.uniandes.edu.co/~goodrick/

Abstract: Recently there have been several advances in the study of ordered Abelian groups (OAGs) whose theories have finite dp-rank. Recall that every complete theory of OAGs has NIP (Gurevich), so it it is interesting to ask which ones are *strongly* dependent in the pure language {+,

Where: Kirwan Hall 1311

Speaker: Bruno de Mendonça Braga (York University) - https://sites.google.com/site/demendoncabraga/home

Abstract: In 1981, J. Krivine and B. Maurey introduced the definition of stable Banach spaces, and, in 1983, Y. Raynaud introduced the notion of superstability and studied uniform embeddings of Banach spaces into superstable Banach spaces. In this talk, we will talk about coarse embeddings into superstable spaces. This is a joint work with Andrew Swift.

Where: Kirwan Hall 1311

Speaker: Caroline Terry (University of Maryland, College Park) -

Abstract: In this talk we present a stable version of the arithmetic regularity lemma for vector spaces over fields of prime order. The arithmetic regularity lemma for $\mathbb{F}_p^n$ (first proved by Green in 2005) states that given $A\subseteq \F_p^n$, there exists $H\leq \F_p^n$ of bounded index such that $A$ is Fourier-uniform with respect to almost all cosets of $H$. In general, the growth of the index of $H$ is required to be of tower type depending on the degree of uniformity, and must also allow for a small number of non-uniform elements. Our main result is that, under a natural stability theoretic assumption, the bad bounds and non-uniform elements are not necessary. Specifically, we present an arithmetic regularity lemma for $k$-stable sets $A\subseteq \mathbb{F}_p^n$, where the bound on the index of the subspace is only polynomial in the degree of uniformity, and where there are no non-uniform elements. This result is a natural extension to the arithmetic setting of the work on stable graph regularity lemmas initiated by Malliaris and Shelah. This is joint work with Julia Wolf.

Where: Kirwan Hall 1311

Speaker: Gabriel Conant (Notre Dame) - https://www3.nd.edu/~gconant/

Abstract: We prove that if G is a finitely generated multiplicative semigroup of positive integers, and A is any infinite subset of G, then the expansion (Z,+,A) of (Z,+) by a unary predicate for A is superstable of U-rank omega. The key tool for this result is a theorem of Evertse, Schlickewei, and Schmidt on solutions to linear equations in finite rank multiplicative subgroups of algebraically closed fields. We use this theorem, along with general results of Casanovas and Ziegler, to show that stability of the expansion (Z,+,A) reduces to stability of the induced structure on A, and then to show that this induced structure is monadically stable of U-rank 1.

Where: Kirwan Hall 1311

Speaker: Rebecca Coulson (Rutgers University) - http://sites.math.rutgers.edu/~rlg131/

Abstract: We introduce the concept of a twist, which is an isomorphism up to a permutation of the structure's language. We developed this concept in the course of proving results about metrically homogeneous graphs. This concept proved useful for partial classification results as well as finiteness results. The concept of a twist surprisingly is present in other work by Cameron and Tarzi, as well as by Bannai and Ito. We will discuss our results and their connections to other work.

Where: Kirwan Hall 1311

Speaker: Vincent Guingoa (Towson University ) - https://tigerweb.towson.edu/vguingona/

Abstract: We discuss the basics of machine learning theory, including concept classes, VC-dimension, VC-density, PAC-learning, and sequence compressions. We then explore the relationship between these concepts and model theory.

Where: Kirwan Hall 1311

Speaker: Alexei Kolesnikov (Towson University) - https://tigerweb.towson.edu/akolesni/

Abstract: Lascar group is a topological group defined for a first order theory. It is known that any compact group is a Lascar group for a suitable theory. In this talk, I will describe a Lascar group defined for a type in a theory and its connection to the first model-theoretic homology group.

Where: Kirwan Hall 1311

Speaker: Allen Gehret (UCLA) -

Abstract: I will discuss various things we know about distal and non-distal ordered abelian groups. This is joint work with Matthias Aschenbrenner and Artem Chernikov.

Where: Kirwan Hall 1311

Speaker: Jesse Han (McMaster University) -

Abstract: Suppose we have some process to attach to every model of a first-order theory some (permutation) representation of its automorphism group, compatible with elementary embeddings. How can we tell if this is "definable", i.e. really just the points in all models of some imaginary sort of our theory?

In the '80s, Michael Makkai provided the following answer to this question: a functor Mod(T) → Set is definable if and only if it preserves all ultraproducts and all "formal comparison maps" between them (generalizing e.g. the diagonal embedding into an ultrapower). This is known as strong conceptual completeness; formally, the statement is that the category Def(T) of definable sets can be reconstructed up to bi-interpretability as the category of "ultrafunctors" Mod(T) → Set.

Now, any general framework which reconstructs theories from their categories of models should be considerably simplified for ω-categorical theories. Indeed, we show:

If T is ω-categorical, then X : Mod(T) → Set is definable, i.e. isomorphic to (M \mapsto ψ(M)) for some formula ψ ∈ T, if and only if X preserves ultraproducts and diagonal embeddings into ultrapowers. This means that all the preservation requirements for ultramorphisms, which a priori get unboundedly complicated, collapse to just diagonal embeddings when T is ω-categorical.

This definability criterion fails if we remove the ω-categoricity assumption. We construct examples of theories and non-definable functors Mod(T) → Set which exhibit this.

Where: Kirwan Hall 1311

Speaker: Samuel Braunfeld (Rutgers University) - http://sites.math.rutgers.edu/~swb52/

Abstract: We will sketch a proof of the undecidability of joint embedding for hereditary graph classes. Time permitting, we will discuss the analogous problem for other classes of structures, such as permutations.

Where: Kirwan Hall 1311

Speaker: Douglas Ulrich (University of Maryland) -

Abstract: We discuss some very partial progress towards classifying weakly minimal theories up to Borel complexity, and give several examples.

Where: Kirwan Hall 1311

Speaker: Douglas Ulrich (University of Maryland) -

Abstract: We discuss some very partial progress towards classifying weakly minimal theories up to Borel complexity, and give several examples.

Where: Kirwan Hall 1311

Speaker: Vince Guingona (Towson University) -

Abstract: For an algebraically trivial Fraisse class K, we define K-configurations and K-rank and study their properties. The notion of K-rank generalizes the notion of dp-rank in distal theories.

Where: Kirwan Hall 1311

Speaker: Vince Guingona (Towson University) -

Abstract: We continue our reading of ``Regularity lemmas for distal structures."

Where: Kirwan Hall 1311

Speaker: Alex Kruckman (Indiana University) -

Abstract: The word "generic" is often applied to a theory T* when it arises as a model companion of a base theory T. Generic theories exhibit lots of "random" behavior, so they are rarely stable or NIP, but they can sometimes be shown to be simple by characterizing a well-behaved notion of independence in T* (namely non-forking independence) in terms of independence in T. Recently, there has been increased interest in the property NSOP1, a generalization of simplicity, spurred by the work of Chernikov, Kaplan, and Ramsey, who showed that NSOP1 theories can also be characterized by the existence of a well-behaved notion of independence (namely Kim independence). In this talk, I will present a number of preservation results for simplicity and NSOP1 under generic constructions. In joint work with Nicholas Ramsey, generic expansion and generic Skolemization: add new symbols to the language, interpreted arbitrarily or as Skolem functions, and take the model companion. And in very recent results towards a joint project with Minh Chieu Tran and Erik Walsberg, interpolative fusion: given an L_1-theory T_1 and and L_2-theory T_2, which intersect in an L_0-theory T_0, take the model companion of the union of T_1 and T_2.