Department of

# Mathematics

Seminar Calendar
for Model Theory and Descriptive Set Theory Seminar events the year of Tuesday, November 14, 2017.

.
events for the
events containing

Questions regarding events or the calendar should be directed to Tori Corkery.
     October 2017          November 2017          December 2017
Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa
1  2  3  4  5  6  7             1  2  3  4                   1  2
8  9 10 11 12 13 14    5  6  7  8  9 10 11    3  4  5  6  7  8  9
15 16 17 18 19 20 21   12 13 14 15 16 17 18   10 11 12 13 14 15 16
22 23 24 25 26 27 28   19 20 21 22 23 24 25   17 18 19 20 21 22 23
29 30 31               26 27 28 29 30         24 25 26 27 28 29 30
31


Friday, January 27, 2017

4:00 pm in 345 Altgeld Hall,Friday, January 27, 2017

#### On "Structurable equivalence relations" by R. Chen and A. Kechris: Introduction

###### Anush Tserunyan (UIUC Math)

Abstract: For a class $\mathcal{K}$ of countable relational structures, a countable Borel equivalence relation $E$ is said to be $\mathcal{K}$-structurable if there is a Borel way to put a structure from $\mathcal{K}$ on each $E$-equivalence class. The paper of Chen and Kechris [arXiv link] studies the global structure (including Borel homomorphisms and reductions) of the classes of $\mathcal{K}$-structurable equivalence relations for various $\mathcal{K}$. In this introductory talk, we will give some background and survey the main results of the paper.

Friday, February 3, 2017

4:00 pm in 345 Altgeld Hall,Friday, February 3, 2017

#### On "Structurable equivalence relations" by R. Chen and A. Kechris: Universal equivalence relations (2nd talk)

###### Anush Tserunyan (UIUC Math)

Abstract: In our previous talk, we stated the first main result of the paper: a characterization of the elementary classes of countable equivalence relations. In this second talk, we prove that every elementary class admits a $\sqsubseteq_B^i$-universal equivalence relation. This implies one direction of the aforementioned characterization.

Friday, February 10, 2017

4:00 pm in 345 Altgeld Hall,Friday, February 10, 2017

#### On "Structurable equivalence relations" by R. Chen and A. Kechris: Characterization of elementary classes (3rd talk)

###### Anush Tserunyan (UIUC Math)

Abstract: In our previous talk, we proved that any elementary class of equivalence relations admits an invariantly injective universal element. This completes one direction of the characterization of elementary classes. In this third talk, we will prove the other direction of the characterization, as well as discuss other results of the paper if time permits.

Friday, February 17, 2017

4:00 pm in 345 Altgeld Hall,Friday, February 17, 2017

#### "Strong theories of ordered abelian groups" by A. Dolich and J. Goodrick: Introduction

###### Erik Walsberg (UIUC Math)

Friday, February 24, 2017

4:00 pm in 345 Altgeld Hall,Friday, February 24, 2017

#### On "Structurable equivalence relations" by R. Chen and A. Kechris: Structurability by structures with TDC (4th talk)

###### Aristotelis Panagiotopoulos (UIUC Math)

Abstract: In this talk, we prove a theorem of A. Marks included in the current paper. It says that every aperiodic countable Borel equivalence relation can be $\mathcal{A}$-structured for any countable structure $\mathcal{A}$ with trivial definable closure (TDC). Examples include the rationals, the random graph, and the rational Urysohn sphere.

Friday, March 10, 2017

4:00 pm in 345 Altgeld Hall,Friday, March 10, 2017

#### Strong Theories of Ordered Abelian groups

###### Travis Nell (UIUC Math)

Abstract: We will continue discussing the paper "Strong Theories of Ordered Abelian Groups" by A. Dolich and J. Goodrick

Friday, April 7, 2017

4:00 pm in 245 Altgeld Hall,Friday, April 7, 2017

#### Model Theory as a Geography of Mathematics

###### Lou van den Dries (UIUC)

Abstract: This is a dry run for the first talk in the Tarski lectures I am giving the week after in Berkeley. This first talk is for a rather general audience of mathematicians, logicians, and philosophers. I like to think of model theory as a {\em geography of mathematics \}, especially of its tame'' side. Here {\em tame\/} roughly corresponds to {\em geometric\/} as opposed to {\em combinatorial-arithmetic}. In this connection I will discuss Tarski's work on the real field, and the notion of o-minimality that it suggested. A structure $M$ carries its own mathematical territory with it, via interpretability: its own posets, groups, fields,and so on. Understanding this world according to $M$'' can be rewarding. Stability-like properties of $M$ forbid certain combinatorial patterns, thus providing highly intrinsic and robust information about this world.

Friday, April 28, 2017

4:00 pm in 345 Altgeld Hall,Friday, April 28, 2017

#### On definability and interpretability in model theory

###### Ward Henson (UIUC, UC Berkeley)

Abstract: This will be an expository talk. Topics covered/mentioned will include: extension by definition and expansion/extension by interpretation (the eq-construction), Beth's Theorem (characterizing definability), and Makkai's Theorem (characterizing the eq-expansion). The setting will be model theory of classical (discrete) structures and then of metric (real-valued) structures. In the metric setting, definability of sets/relations has some subtleties that do not arise in discrete structures.

Friday, September 1, 2017

4:00 pm in 345 Altgeld Hall,Friday, September 1, 2017

#### Organizational meeting

Friday, September 8, 2017

4:00 pm in 345 Altgeld Hall,Friday, September 8, 2017

#### "Borel circle squaring" by Marks and Unger: Part 1

###### Anton Bernshteyn (Illinois Math)

Abstract: This is the first in a series of talks based on a recent paper of A.S. Marks and S.T. Unger. In 1925, Tarski asked if it is possible to decompose a disk in the plane into finitely many pieces and then rearrange them to form a square of the same area. Due to the apparent similarity between this problem and the Banach--Tarski paradox, it might appear that any such "circle squaring" must rely on the Axiom of Choice; and indeed, in 1990 Laczkovich answered Tarski's question in the affirmative using a non-constructive approach. However, Marks and Unger show in their paper that, somewhat surprisingly, it is possible to perform a "circle squaring" using only Borel pieces. In this talk I will go over the history of the problem and sketch some of the main ingredients that go into Marks and Unger's proof.

Friday, September 15, 2017

4:00 pm in 345 Altgeld Hall,Friday, September 15, 2017

#### "Borel circle squaring" by Marks and Unger: Part 2

###### Dakota Ihli (Illinois Math)

Abstract: This is the second part in a series of talks based on a recent paper of A.S. Marks and S.T. Unger. The main result of the paper gives sufficient conditions for two Borel subsets of $\mathbb{R}^k$ to be equidecomposable by translations with Borel pieces. In the first part, flows on graphs were introduced as the primary means to prove this result. In this part I will outline in more detail how these flows are constructed.

Friday, September 22, 2017

4:00 pm in 345 Altgeld Hall,Friday, September 22, 2017

#### Constructing Analyzable Types in Differentially Closed Fields with Logarithmic Derivatives

###### Ruizhang Jin (U Waterloo Math)

Abstract: We generalize the well-known fact that the equation $\delta(\log \delta x) = 0$ is analyzable in but not internal to the constants. We use the logarithmic derivative as a building block to construct analyzable types with a unique analysis of minimal length (up to interalgebraicity). We also look for criteria for a given definable set such that its pre-image under the logarithmic derivative is analyzable in but not internal to the constants.

Friday, September 29, 2017

4:00 pm in 345 Altgeld Hall,Friday, September 29, 2017

#### "Borel circle squaring" by Marks and Unger: Part 3

###### Anush Tserunyan (Illinois Math)

Abstract: In the previous talk of this series, we built a real valued Borel flow by taking the average of the "relative" matchings over each connected component. In the current talk, I'll describe how to obtain an integer valued Borel flow out of a real valued one, which is the main difficulty of the whole proof.

Friday, October 6, 2017

4:00 pm in 345 Altgeld Hall,Friday, October 6, 2017

#### "Borel circle squaring" by Marks and Unger: Part 4 (last)

###### Anush Tserunyan (Illinois Math)

Abstract: In the previous talk of this series, we discussed how to obtain an integral Borel flow out of a real valued one. In this last talk of the series, we will put all the ingredients together and show how to obtain a Borel matching from an integral Borel $f$-flow for the specific $f := \mathbb{1}_A - \mathbb{1}_B$.

Friday, October 20, 2017

4:00 pm in 345 Altgeld Hall,Friday, October 20, 2017

#### Distal and non-distal ordered abelian groups

###### Allen Gehret (UCLA Math)

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.

Friday, October 27, 2017

4:00 pm in 345 Altgeld Hall,Friday, October 27, 2017

#### On "Universal-homogeneous structures are generic" by Kabluchko and Tent (Part 1)

###### Erik Walsberg (Illinois Math)

Abstract: I will discuss the recent paper "Universal-homogeneous structures are generic" by Zakhar Kabluchko and Katrin Tent [arXiv]. They show that the set of structures isomorphic to a Fraisse limit is comeager in a certain space of structures. It is rather surprising that this result, which provides a natural connected between model theory and descriptive set theory, was only proven recently.

Friday, November 3, 2017

4:00 pm in 345 Altgeld Hall,Friday, November 3, 2017

#### Cancelled

Friday, November 10, 2017

4:00 pm in 345 Altgeld Hall,Friday, November 10, 2017

#### On "Universal-homogeneous structures are generic" by Kabluchko and Tent (Part 2)

###### Minh Chieu Tran (Illinois Math)

Abstract: I will continue to discuss the recent paper "Universal-homogeneous structures are generic" by Zakhar Kabluchko and Katrin Tent [arXiv]. They show that the set of structures isomorphic to a Fraisse limit is comeager in a certain space of structures.

Friday, November 17, 2017

4:00 pm in 345 Altgeld Hall,Friday, November 17, 2017

#### Canceled

Friday, December 1, 2017

4:00 pm in 345 Altgeld Hall,Friday, December 1, 2017

#### Canceled

Friday, December 15, 2017

4:00 pm in 345 Altgeld Hall,Friday, December 15, 2017

#### The groups ℤ and ℚ with predicates for being square-free

###### Minh Chieu Tran (Illinois Math)

Abstract: (Joint work with Neer Bhardwaj) We study the model-theoretic properties of the structures $(\mathbb{Z}; +, \mathrm{Sqf}^\mathbb{Z})$, $(\mathbb{Z}; +, <, \mathrm{Sqf}^\mathbb{Z})$, $(\mathbb{Q}; +, \mathrm{Sqf}^\mathbb{Q})$, and $(\mathbb{Q}; +, <, \mathrm{Sqf}^\mathbb{Q})$ where $\mathrm{Sqf}^\mathbb{Z}$ is the set of $a \in \mathbb{Z}$ such that $v_{p}(a) < 2$ for every prime $p$ and corresponding $p$-adic valuation $v_{p}$ and $\mathrm{Sqf}^\mathbb{Q}$ is defined likewise for rational numbers. The first two structures are analogues of structures considered by Bateman, Jockusch, Woods, Kaplan, and Shelah concerning predicates for being prime. Avoiding their use of Dickson's conjecture, we obtain the first unconditional natural example of a simple unstable expansion of $(\mathbb{Z};+)$. This work can be viewed as part of the ongoing program where we investigate model-theoretic properties of structures whose components interact in a random fashion with one another.