Logic

The Logic seminar meets on Wednesdays at 11:00.
2020 Jun 24

Logic Seminar - Jorge Cely

11:00am to 1:00pm

Location: 

Zoom - ID: 995 8999 9308 Password: 568039
Jorge Cely will speak about the fundamental lemma for spherical Hecke algebras and motivic integration.
 

Abstract:
2020 Jun 10

Logic Seminar - Kobi Peterzil

11:00am to 1:00pm

Location: 

Zoom - ID: 951 5522 0236 Password: 387201

Kobi Peterzil will speak about the infinitesimal subgroup of a simple real Lie group.
(w. Martin Bays)


Abstrract:

A theorem with Pillay and Starchenko (2000) says that If G is a simple linear Lie group then the pure group (G,.) is either:

(i) unstable, and then bi-interpretable with the real field, e.g when G is compact,
or
(ii) stable, and then bi-interpretable with the complex field.
2020 May 20

Logic Seminar - Hind Abu Saleh "Reducts of the Real Ordered Field and Strongly Bounded Structures"

12:00pm to 2:00pm

Location: 

Zoom: Meeting ID: 928 6821 1553 Password: 829281
Hind Abu Saleh will speal about reducts of the real ordered field and strongly bounded structures.
.
Title: Reducts of the Real Ordered Field and Strongly Bounded Structures

Abstract: Let N =〈 A ;<,.. 〉 be an o-minimal structure and let A =〈 A ;.. 〉 be a reduct of N . The structure A is called strongly bounded if every A -definable subset of A is either bounded or co-bounded. In this talk we examine additive strongly bounded structures over R and as a corollary we identify all possible reducts of 〈 R ;+, ⋅ ,< 〉 , which expand the vector space
2020 May 06

Logic Seminar - Timo Krisam

11:00am to 1:00pm

Location: 

Zoom: Meeting ID: 959 8849 6874 , Password: 020269
Timo Krisam will speal about distal theories and the type decomposition theorem.
.
Title: Distal Theories and the Type Decomposition Theorem

Abstract: The class of NIP-Theories is an important subject of study in pure model theory. It contains many interesting examples like stable theories, o-minimal theories or algebraically closed valued fields.
2020 Feb 25

Logic Seminar - Martin Hils

2:00pm to 4:00pm

Location: 

Ross building - Room 63,
Martin Hils will speal about Classification of imaginaries in valued fields with automorphism.


Title: Classification of imaginaries in valued fields with automorphism

Abstract: The imaginaries in the theory ACVF of non-triviallally valued algebraically closed
valued fields are classified by the so-called 'geometric' sorts. This is a fundamental
result due to Haskell-Hrushovski-Macpherson. We show that the imaginaries in
henselian equicharacteristic 0 valued fields may be reduced, under rather general
2020 Jan 29

Logic Seminar - Yatir Halevi

9:45am to 11:45am

Location: 

Ross building - Room 63
Yatir Halevi will speal about Coloring Stable Graphs.


Title: Coloring Stable Graphs

Abstract: Given a graph G=(V,E), a coloring of G in \kappa colors is a
map c:V\to \kappa in which adjacent vertices are colored in different
colors. The chromatic number of G is the smallest such \kappa.
We will briefly review some questions and conjectures on the chromatic
number of infinite graphs and will mainly concentrate on the strong
form of Taylor's conjecture:
2020 Jan 22

Logic Seminar - Yuval Dor

11:00am to 1:00pm

Location: 

Ross building - Room 63
Yuval Dor will speal about Transformal Valued Fields.



Abstract:
Abraham Robinson characterized the existentially closed valued fields as those which are algebraically closed and nontrivially valued. This theorem is somewhat surprising: it makes no assumption on the topology of the field other than the fact that it is not discrete, and immediately implies a strong from of the Nullstellensatz, asserting that the only obstruction to the solvability of a system of polynomial equations in a neighborhood of a point is the obvious one.
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.  

Pages