Seminars

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.
2017 Dec 28

Amitsur Algebra: Ari Shnidman (Boston College), "The behavior of rational points in one-parameter families"

12:00pm to 1:00pm

Location: 

Ross 70, Math Building, Givat Ram
Title: The behavior of rational points in one-parameter families Abstract: How often does a "random" algebraic plane curve f(x,y) = 0 have a solution with rational coordinates? In one-parameter "twist" families of elliptic curves, Goldfeld conjectured that there should be a rational point exactly half of the time. Recent progress towards this conjecture makes use of Selmer groups, and I'll explain the geometric idea underlying their construction. I'll also describe results for families of curves of higher genus, and abelian varieties of higher dimension.
2016 Dec 19

Special logic seminar - Elad Levi "Algebraic regularity lemma for hypergraphs"

10:00am to 12:00pm

Location: 

Sprinzak 101
Speaker: Elad Levi Algebraic regularity lemma for hypergraphs Abstract: Szemer´edi’s Regularity Lemma is a fundamental tool in graph theory. It states that for every large enough graph, the set of vertices has a partition A1,..,Ak, such that for almost every two subsets Ai,Aj the induced bipartite graph on (Ai,Aj) is regular, i.e. similar to a random bipartite graph up to a given error.
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.
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.
2017 May 29

Logic seminar - Ur Yaar, "A Toy Multiverse"

2:00pm to 4:00pm

Location: 

Shprinzak 101
We will present briefly the "multiverse view" of set theory, advocated by Hamkins, that there are a multitude of set-theoretic universes, and not one background universe, and his proposed "Multiverse Axioms". We will then move on to present the main result of Gitman and Hamkins in their paper "A natural model of the multiverse axioms" - that the countable computably saturated models of ZFC form a "toy model" of the multiverse axioms.
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.

 
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.
2017 Dec 27

Logic Seminar - Omer Ben-Neria - "Singular Stationarity and Set Theoretic Generalizations of Algebras"

11:00am to 1:00pm

Location: 

Ross 63
Abstract: The set theoretic generalizations of algebras have been introduced in the 1960s to give a set theoretic interpretation of usual algebraic structures. The shift in perspective from algebra to set theory is that in set theory the focus is on the collection of possible algebras and sub-algebras on specific cardinals rather than on particular algebraic structures. The study of collections of algebras and sub-algebras has generated many well-known problems in combinatorial set theory (e.g., Chang’s conjecture and the existence of small singular Jonsson cardinals).
2017 Nov 01

Logic Seminar - Immanuel BenPorat - "Cardinal conditions for strong Fubini theorems"

11:00am to 1:00pm

Location: 

Math209
This talk will be largely based on a paper by Joseph Shipman with the same title. We will discuss some variations of Fubini type theorems. The focus will be on what is known as "strong Fubini type theorems". Apparently these versions were proved to be independent of ZFC,and our main aim will be to sketch a proof of this result. We will assume basic knowledge in measure theory. Aside from that, the material is rather self contained.
2017 Jul 10

Special logic seminar - Noa Lavi, "Independent chapters in dependent theories"

11:00am to 1:00pm

Location: 

Ross 70
This talk is about three published papers of mine that form my phd. In the first two chapters I focus in the model theory of real closed fields and in the third one I take one step back and investigate in greater genearility dependent theories. The results are the following: 1. Boundedness criterion for rational functions over generalized semi-algebraic sets in real closed fields. 2. Positivity criterion for polynomials over generalized semi-algebraic sets in real closed valued fields.
2017 Nov 29

Logic Seminar - Isabel Muller - "Zil'bers Conjecture and Building-like Geometries"

11:00am to 1:00pm


In an attempt to classify the geometries arising in strongly minimal sets, Zil'ber conjectured them to split into three different types: Trivial geometries, vector space-like geometries and field-like geometries. Soon after, Hrushovski refuted this conjecture while introducing a new construction method, which has been modified and used a lot ever since.
2017 Apr 19

Logic seminar- Shimon Garti, "Forcing axioms and saturated ideals"

4:00pm to 6:00pm

Location: 

Ross 70
Abstract: Paul Larson proved that under Martin's axiom and large continuum there are no Laver ideals over aleph_1. He asked about weakly Laver ideals under some forcing axiom. We shall address two issues: 1. Under Martin's axiom and the continuum is above aleph_2, there are no weakly Laver ideals over aleph_1.. 2. Under Baumgartner's axiom, the parallel of Larson's theorem holds for ideals over aleph_2.

Pages