Seminars

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 28

Logic seminar - Matthew Foreman, "Better lucky than smart: realizing a quasi-generic class of measure preserving transformations as diffeomorphisms"

4:00pm to 6:00pm

Location: 

Ross 70
Better lucky than smart: realizing a quasi-generic class of measure preserving transformations as diffeomorphisms. Speaker: Matthew Foreman Abstract: In 1932, von Neumann proposed classifying measure preserving diffeomorphisms up to measure isomorphism. Joint work with B. Weiss shows this is impossible in the sense that the corresponding equivalence relation is not Borel; hence impossible to capture using countable methods.
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 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.
2017 Mar 01

Logic seminar - Yair Hayut, "Weak Prediction Principles"

4:00pm to 6:00pm

Location: 

Ross 70
Weak Prediction Principles Speaker: Yair Hayut Abstract: Jensen's diamond is a well studied prediction principle. It holds in L (and other core models), and in many cases it follows from local instances of GCH. In the talk I will address a weakening of diamond (due to Shaleh and Abraham) and present Abraham's theorem about the equivalence between weak diamond and a weak consequence of GCH. Abraham's argument works for successor cardinals. I will discuss what is known and what is open for inaccessible cardinals. This is a joint work with Shimon Garti and Omer Ben-Neria.
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 21

Combinatorics: Daniel Kalmanovich and Or Raz (HU) "2 talks back-to-back"

11:00am to 12:30pm

Location: 

IIAS, room 130, Feldman Building, Givat Ram
First speaker: Daniel kalmanovich, HU Title: On the face numbers of cubical polytopes Abstract: Understanding the possible face numbers of polytopes, and of subfamilies of interest, is a fundamental question. The celebrated g-theorem, conjectured by McMullen in 1971 and proved by Stanley (necessity) and by Billera and Lee (sufficiency) in 1980-81, characterizes the f-vectors of simplicial polytopes.

Pages