# Logic

The Logic seminar meets on Wednesdays at 11:00.
2019 Apr 10

# Logic Seminar - Yatir Halevi

11:00am to 1:00pm

## Location:

Ross 63

Type Definable Semigroups in Stable Structures

A semigroup is a set together with an associative binary operation. As opposed to stable groups, the model theory of stable semigroups is not so rich. One reason for that is their abundance.
We will review (and prove) some known results on type-definable semigroups in stable structures and offer some examples and counter-examples.
2019 May 01

# Logic Seminar - Mirna Dzamonja

11:00am to 1:00pm

Ross 63
2019 May 15

# Logic Seminar - Shimon Garti

11:00am to 1:00pm

Ross 63
2019 Mar 27

# Logic Seminar - Shlomo Eshel

11:00am to 1:00pm

## Location:

Ross 63
Uniform definability of types over finite sets

Uniform definability of types over finite sets (UDTFS) is a property of formulas which implies NIP and characterizes NIP in the level of theories (by Chernikov and Simon).

In this talk we will prove that if T is any theory with definable Skolem functions, then every dependent formula phi has UDTFS. This result can be seen as a translation of a result of Shay Moran and Amir Yehudayof in machine learning theory to the logical framework.
2019 Jun 19

# Logic Seminar - Moshe Illouz

11:00am to 1:00pm

Ross 63
2019 Jun 05

# Logic Seminar - Oren Kalish

11:00am to 1:00pm

Ross 63
2019 May 22

# Logic Seminar - Shahar Oriel

11:00am to 1:00pm

Ross 63
2019 Apr 03

# Logic Seminar - Tomasz Rzepecki

11:00am to 1:00pm

## Location:

Ross 63

G-compactness, hereditary G-compactness and related phenomena

The notion of G-compactness, along with the Galois groups, was introduced by Lascar in order to find a sufficient condition under which a first order theory can be recovered from the category of its models.
I will recall this notion. In order to do that, I will also recall various classical notions of strong types, and possibly the Galois group of the theory (and briefly discuss their importance).
2019 Jun 26

# Logic Seminar - tba

11:00am to 1:00pm

Ross 63
2019 Mar 20

# Logic Seminar - Spencer Unger

11:00am to 1:00pm

## Location:

Ross 63

Stationary reflection and the singular cardinals hypothesis.
2019 Jun 12

# Logic Seminar - Shlomo Eshel

11:00am to 1:00pm

Ross 63
2019 May 29

# Logic Seminar - Nadav Meir

11:00am to 1:00pm

Ross 63
2019 Mar 13

# Logic Seminar - Saharon Shelah

11:00am to 1:00pm

## Location:

Ross 63

Understanding $P(κ)/[κ]^{κ}$
2019 Jan 16

2:00pm to 4:00pm

Sprinzak 102
tba

2019 Jan 16

# Logic Seminar - Menachem Magidor

11:00am to 1:00pm

## Location:

Ross 63

Omitting types in the logic of metric structures

(M. Magidor, joint work with I. Farah)