Logic

The Logic seminar meets on Wednesdays at 11:00.
2019 Dec 18

Logic Seminar - Jouko Vaananen

11:00am to 1:00pm

Location: 

Ross building - Room 63

Jouko Vaananen will speak about some new infinitary logics.

On some new infinitary logics


Abstract: 
2019 Dec 11

Logic Seminar - Eliana Bariga

11:00am to 1:00pm

Location: 

Ross building - Room 63
Eliana Bariga will speak about Definably compact semialgebraic groups over real closed fields.

Abstract: 
Semialgebraic groups over a real closed field can be seen as a generalization of the semialgebraic groups over the real field, and also as a particular case of the groups definable in an o-minimal structure.
2019 Dec 03

Logic Seminar - Antongiulio Fornasiero

1:00pm to 3:00pm

Location: 

Shprintsak building - Room 29
OAntongiulio Fornasiero will speak about definable and interpretable groups and fields in the p-adics.  


Abstract: 
A. Pillay showed that every definable group in the p-adics has a canonical topology and differential structure, and deduced that every definable field is either finite or a finite extension of Q_p.
In a joint work with J. de la Nuez Gonzalez we extend the analysis to interpretable fields, and show that they are either countable or finite extensions of Q_p.
2019 Nov 27

Logic Seminar - Omer Ben-Neria

11:00am to 1:00pm

Location: 

Ross building - Room 63
Omer Ben-Neria will speak about Canonical inner models and approximations to the set theoretic universe.  


Abstract: 
The goal of the talk is to introduce the concept of approximating the set theoretic universe V using canonical inner models. 
2019 Nov 20

Logic Seminar - Christian d'Elbée

11:00am to 1:00pm

Location: 

Ross building - Room 63

Christian d'Elbée will speak about generic generic abelian varieties.

Generic generic abelian varieties.

Abstract: 
I will present work in progress in a new NSOP1 nonsimple theory: the expansion of an abelian variety by a generic subgroup, under some conditions on the endomorphism ring.  
2019 Nov 06

Logic Seminar - Itay Kaplan

11:00am to 1:00pm

Location: 

Ross building - Room 63
On distal and co-distal types

 

I will define the notions described in the title, and ask if they are equivalent. I will present a proof showing that they are in case the theory is NIP. The proof is essentially the proof of the fact that the lack of distality is witnessed by a sequence of singletons by Pierre Simon’s.
2019 Oct 30

Logic Seminar - Eugenio Colla

11:00am to 1:00pm

Location: 

Ross 63
Model-theoretic proofs of partition theorems for semigroups.


Abstract: 
Partition theorems have the following form. Let "regular" be some notion for a structure S; theorem: for every finite partition of S there is a "regular" set inside a cell of the partition. 
2019 Jun 23

Special Talk - Saharon Shelah

4:00pm to 6:00pm

Location: 

Manchester Building, Room 110

Simplicity and universality


Fixing a complete first order theory T, countable for transparency, we had known quite well for which cardinals T has a saturated model. This depends on T of course - mainly of
whether it is stable/super-stable. But the older, precursor notion of having
 a universal notion lead us to more complicated answer, quite partial so far, e.g
the strict order property and even SOP_4 lead to having "few cardinals"
(a case of GCH almost holds near the cardinal). Note  that eg GCH gives a complete
2019 Jun 02

Logic Seminar - Javier de la Nuez Gonzalez

1:00pm to 3:00pm

Location: 

Shprinzak 29
Minimal and non-minimal automorphism groups of homogeneous structures

A Hausdorff topological group G is said minimal if G does not admit any strictly coarser Hausdorff group topology.

Examples include the isometry group of the Urysohn sphere, due to Uspenskij, and Aut(M) for M stable and w-categorical, a deep fact due to Ben Yacov and Tsankov.

Pages