Logic Archives for Academic Year 2019


Organizational Meeting

When: Tue, August 28, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Organizational Meeting () -


The classification of homogeneous finite-dimensional permutation structures

When: Tue, September 4, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Sam Braunfeld (UMCP) -
Abstract: We will discuss the classification of homogeneous finite-dimensional permutation structures, i.e. structures in a language of finitely many linear orders, recently completed in joint work with Pierre Simon. After constructing the catalog of such structures, we will present some of the key concepts in the classification, primarily coming from Simon's work on linear orders in omega-categorical structures. We will also mention an open question concerning the number of linear orders needed to represent any given structure in the catalog.

Positive Local Combinatorial Ranks

When: Tue, September 11, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Vincent Guingona (Towson University) -
Abstract: In model theory, one wants to measure the complexity of types in a given theory. One way of measuring the complexity of types in NIP theories is the notion of dp-rank. In this talk, I present a framework for generalizing dp-rank that I am calling “positive local combinatorial rank.” We define this rank, show that it generalizes dp-rank in distal theories (and op-dimension in NIP theories), and explore how this rank behaves in general. In particular, we examine two test cases and compute some ranks.

Pseudofinite theories with non-locally modular regular types

When: Tue, September 18, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Danul Gunatilleka (UMCP) -
Abstract: We study regular types in Baldwin-Shi hypergraphs with rational valued rank functions. We characterize the regular types up to non-orthogonality and study the associated pregeometries. Combining the above results with the work of Laskowski and Brody, we obtain examples of pseudofinite theories with non-locally modular regular types, answering a question of Pillay's.

On indiscernible types in models of arithmetic

When: Tue, October 2, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Ermek Nurkhaidarov (Penn State, Mont Alto) -


Elimination of generalized imaginaries in some stable theories

When: Tue, October 9, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Alexei Kolesnikov (Towson University) -
Abstract: It is known that a complete stable theory may fail to have higher amalgamation properties. A reasonable question is whether or not it is possible to construct a suitable cover T' of the theory T so that T' does have higher amalgamation over algebraically closed sets.
In this talk, I will present recent results, due to Evans, Kirby, and Zander, that describe the construction of a candidate for such a theory T'.

Characterizing Strong Ordered Abelian Groups

When: Tue, October 16, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Alf Dolich (CUNY (Kingsborough)) -
Abstract: Using a general quantifier elimination for ordered Abelian groups due to Cluckers and Halupczok we characterize those ordered Abelian groups which are strong (a strengthening of being NIP). As a consequence we obtain that any strong ordered Abelian group had finite dp-rank and show how to compute the rank from algebraic data. This is joint work with John Goodrick.

Graph Properties for Fraïssé Classes

When: Tue, October 23, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Miriam Parnes (Wesleyan University) -

Abstract: The class of all finite graphs is an example of an algebraically trivial Fraïssé class with a particular kind of independence relation. In this talk, I will explain how we can generalize certain concepts and results from graphs to any algebraically trivial Fraïssé class with the same kind of independence relation.

On function field Mordell-Lang : from the abelian case to the semiabelian case via model theory

When: Tue, October 30, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Elisabeth Bouscaren (Université Paris-Sud) -


Classifiable theories, 35 years later

When: Tue, November 6, 2018 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Chris Laskowski (UMCP) -


Organizational Meeting

When: Tue, January 29, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Organizational Meeting () -


Worst-case expansions of stable theories

When: Tue, February 12, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Chris Laskowski (UMCP) - http://math.umd.edu/~mcl


Counting siblings of an omega-categorical structure

When: Tue, February 19, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Sam Braunfeld (UMCP) -
Abstract: Two structures are called siblings if they are bi-embeddable. Given a countable structure M, we wish to count its siblings up to isomorphism. Extending work of Laflamme, Pouzet, Sauer, and Woodrow, we give a complete answer to this in the case M is omega-categorical, making use of the recent "Ryll-Nardzewski theorem" for mutually algebraic theories. Joint work with Chris Laskowski.

Regular types in Baldwin-Shi hypergraphs

When: Tue, February 26, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Danul Gunatilleka (UMCP) -


The Feferman-Vaught Theorem and Products of Finite Fields

When: Tue, March 5, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Alexander Van Abel (CUNY Graduate Center) -
Abstract: The Feferman-Vaught Theorem is a classical model theoretic result on definability in product-like structures. In this talk, we explain this theorem and derive an elementary but seemingly unpublished combinatorial consequence. We then show that a converse of sorts holds in the case of a product of integral domains. Finally, we give a quantifier reduction for products of finite fields, which arise naturally in a number-theoretic context, using results of Kiefe and Ax. This is joint work with Alice Medvedev (CCNY).

The mutually algebraic monster

When: Tue, March 12, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Chris Laskowski (UMCP) -


On Truss and Small-Index Generic Automorphisms

When: Tue, March 26, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Ermek Nurkhaidarov (Penn State -- Mont Alto) -


Effective ultrapowers

When: Tue, April 23, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Valentina Harizanov (George Washington University) -
Abstract: A cohesive power of a countable structure can be viewed as a computability-theoretic analog of an ultrapower, where a structure is computable and, instead of an ultrafilter, we use an infinite set that is indecomposable with respect to computably enumerable sets. Such indecomposable sets are called cohesive. A structure for a finite language is computable if its domain is computable and its operations and relations are computable. The elements of cohesive powers are equivalence classes of partial computable functions. We investigate the isomorphism types and other properties of cohesive powers for certain kinds of computable structures.

Generalizing VC dimension to higher arity

When: Tue, May 7, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Henry Towsner (University of Pennsylvania) -
Abstract: The notion of bounded VC dimension is a property at the intersection of combinatorics and probability. This family has been discovered repeatedly and studied from various perspectives - for instance, in model theory, theories with bounded VC dimension are known as NIP (the theories which do Not have the Independence Property). One useful property is that graphs with bounded VC dimension are the graphs that can be always be finitely approximated in a random-free way: graphs with bounded VC dimension satisfy a strengthening of Szemeredi's Regularity Lemma in which the densities between the pieces of the partition are either close to 0 or close to 1. The generalization of VC dimension to higher arity, known in model theory as k-NIP for various k, has been less well-studied. We summarize some known facts about this generalization, including a new result (joint with Chernikov) showing k-NIP hypergraphs have a similar kind of approximation with only lower order randomness.

Shelah's eventual categoricity conjecture

When: Tue, May 14, 2019 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Sebastien Vasey (Harvard University) -
Abstract: Morley's categoricity theorem says that a countable first-order theory with a single model in some uncountable cardinal has a single model in all uncountable cardinals. The proof has had numerous consequences, including the development of stability theory, and in particular the invention by Shelah of forking, a far reaching generalization of algebraic independence in fields. Shelah has conjectured that a generalization of Morley's result should hold in any abstract elementary class (AEC). Roughly, an AEC is a category that behaves like the category of models of a first-order theory with elementary embedding. The framework encompasses for example classes of models of logics with infinite conjunctions and disjunctions.

In this talk, I will survey progress on Shelah's eventual categoricity conjecture, including a proof from large cardinals (joint with Shelah) and a full characterization of the categoricity spectrum in AECs with amalgamation. These proofs have already suggested several new directions, including a theory of forking in accessible categories connecting the field with homotopy theory (joint with Lieberman and Rosický).