2017 Apr 24

# Logic seminar

Repeats every week every Monday until Sun May 21 2017 except Mon May 01 2017.
12:00pm to 2:00pm

12:00pm to 2:00pm
12:00pm to 2:00pm

## Location:

Ross 63
We will take a close look at the first few steps of the construction of the Bristol model, which is a model intermediate to L[c], for a Cohen real c, satisfying V eq L(x) for all x.
2018 Jan 24

# Logic Seminar - Vadim Kulikov - Borel Reducibility in Generalised Descriptive Set Theory"

11:00am to 1:00pm

## Location:

Ross 63
I will review some recent results in the Borel reducibility on uncountable cardinals of the Helsinki logic group. Borel reducibility on the generalised Baire space \kappa^\kappa for uncountable \kappa is defined analogously to that for \kappa=\omega. One of the corollaries of this work is that under some mild cardinality assumptions on kappa, if T1 is classifiable and T2 is unstable or superstable with OTOP, then the ISOM(T1) is continuously reducible ISOM(T2) and ISOM(T2) is not Borel reducible to ISOM(T1).
2017 Nov 22

# Logic Seminar - Yair Hayut - "Chang's Conjecture at many cardinals simultaneously"

11:00am to 1:00pm

## Location:

Math 209

Chang's Conjecture is a strengthening of Lowenheim-Skolem-Tarski theorem. While Lowenheim-Skolem-Tarski theorem is provable in ZFC, any instance of Chang's Conjecture is independent with ZFC and has nontrivial consistency strength. Thus, the question of how many instances of Chang's Conjecture can consistently hold simultaneously is natural.

I will talk about some classical results on the impossibility of some instances of Chang's Conjecture and present some results from a joint work with Monroe Eskew.
2018 Jun 06

# Logic Seminar - Gabriel Conant - TBA

11:00am to 1:00pm

Ross 63
2017 May 24

# Logic seminar - Katrin Tent, "Ample geometries of finite Morley rank"

4:00pm to 6:00pm

## Location:

Ross 70
Abstract: I will explain the model theoretic notion of ampleness and present the geometric context of recent constructions.
2016 Dec 27

# Special logic seminar - Itaï BEN YAACOV, "Baby version of the asymptotic volume estimate"

10:00am to 12:00pm

## Location:

Shprinzak 102
I'll show how the Vandermonde determinant identity allows us to estimate the volume of certain spaces of polynomials in one variable (or rather, of homogeneous polynomials in two variables), as the degree goes to infinity. I'll explain what this is good for in the context of globally valued fields, and, given time constraints, may give some indications on the approach for the "real inequality" in higher projective dimension.
2016 Dec 21

# Logic seminar - Ur Benari-Tish, "The modal logic of σ-centered forcing"

4:00pm to 6:00pm

## Location:

Ross 70
The modal logic of σ-centered forcing Speaker: Ur Benari-Tish
2017 Nov 08

# Logic Seminar- Itai Ben Yaacov - "Reconstruction for non-aleph0-categorical theories?"

11:00am to 1:00pm

## Location:

Math 209
It is a familiar fact (sometimes attributed to Ahlbrandt-Ziegler, though it is possibly older) that two aleph0-categorical theories are bi-interpretable if and only if their countable models have isomorphic topological isomorphism groups. Conversely, groups arising in this manner can be given an abstract characterisation, and a countable model of the theory (up to bi-interpretation, of course) can be reconstructed.
2018 May 16

# Logic Seminar - Shlomo Eshel - TBA

11:00am to 1:00pm

Ross 63
2018 Jan 10

# Logic Seminar - Alex Lubotzky - "First order rigidity of high-rank arithmetic groups"

11:00am to 1:00pm

## Location:

Ross 63
The family of high rank arithmetic groups is a class of groups playing an important role in various areas of mathematics. It includes SL(n,Z), for n>2 , SL(n, Z[1/p] ) for n>1, their finite index subgroups and many more. A number of remarkable results about them have been proven including; Mostow rigidity, Margulis Super rigidity and the Quasi-isometric rigidity.
2018 May 22

1:30pm to 3:30pm

Ross 63
2017 Mar 08

# Logic seminar - Yair Hayur, "Radin Forcing and model without weak diamond"

4:00pm to 6:00pm

## Location:

Ross 70
Abstract: We continue with the topic of the previous week. We will define the Radin forcing, discuss (without proof) and its basic properties. We will give Woodin's proof for the consistency of the existence of strong inaccessible without diamond and show how to strengthen it to the consistency of strong inaccessible without weak diamond.
2017 Jul 26

# Logic seminar - Andrés Villaveces, "Around non-elementary dependence"

2:00pm to 4:00pm

## Location:

Ross 70
Dependent theories have now a very solid and well-established collection of results and applications. Beyond first order, the development of "dependency" has been rather scarce so far. In addition to the results due to Kaplan, Lavi and Shelah (dependent diagrams and the generic pair conjecture), I will speak on a few lines of current research around the extraction of indiscernibles for dependent diagrams and on various forms on dependence for abstract elementary classes. This is joint work with Saharon Shelah.
2018 May 02

# Logic Seminar - Chloe Perin - TBA

12:00pm to 2:00pm

Ross 63
2017 Dec 13

# Logic seminar - Omer Mermelstein - "Template structures for the class of Hrushovski ab initio geometries"

11:00am to 1:00pm

## Location:

Math 209
Zilber's trichotomy conjecture, in modern formulation, distinguishes three flavours of geometries of strongly minimal sets --- disintegrated/trivial, modular, and the geometry of an ACF. Each of these three flavours has a classic template'' --- a set with no structure, a projective space over a prime field, and an algebraically closed field, respectively. The class of ab initio constructions with which Hrushovski refuted the conjecture features a new flavour of geometries --- non-modular, yet prohibiting any algebraic structure.