Eventss

2018 May 08

Dynamics Seminar: Yinon Spinka (TAU): Finitary codings of Markov random fields

2:15pm to 4:15pm

Location: 

Ross 70

Let X be a stationary Z^d-process. We say that X is a factor of an i.i.d. process if there is a (deterministic and translation-invariant) way to construct a realization of X from i.i.d. variables associated to the sites of Z^d. That is, if there is an i.i.d. process Y and a measurable map F from the underlying space of Y to that of X, which commutes with translations of Z^d and satisfies that F(Y)=X in distribution. Such a factor is called finitary if, in order to determine the value of X at a given site, one only needs to look at a finite (but random) region of Y.
2018 Apr 12

Special talk: Yonatan Harpaz (Paris 13) - "Small extensions in algebra and topology"

Lecturer: 

Yonatan Harpaz (Paris 13)
1:15pm to 2:15pm

Location: 

Ross 70
Abstract: In this talk, we will discuss the notion of small extensions in its various incarnations, from torsors under abelian groups to square-zero extensions of algebras. We will then focus on the somewhat less familiar case of small extensions of ∞-categories. Our main goal is to make this abstract concept concrete and intuitive through a variety of examples. In particular, we will advocate the point of view that small extensions of  ∞-categories offer a unifying perspective in understanding many constructions appearing in obstruction, classification, and deformation theoretic problems
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 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.
2018 May 02

Logic Seminar - Chloe Perin - "Forking in the free group"

12:00pm to 2:00pm

Location: 

Ross 63
Sela proved that the theory of free groups is stable. It is thus natural to wonder what the independence relation looks like. Together with Sklinos, we worked out a complete characterization of forking independence in the standard model (over any set of parameters) in terms of an algebraic-geometric object called the JSJ decomposition, which encodes all the splittings of the group as an amalgamated product or an HNN extension relative to the parameter set.
In the talk we will try to give an idea of the proof over some examples.
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 May 01

Logic Seminar - Asaf Karagila - "What can you say about critical cardinals?"

1:30pm to 3:30pm

Location: 

Math 209
We isolate the property of being a critical point, and prove some basic positive
properties of them. We will also prove a lifting property that allows lifting
elementary embedding to symmetric extensions, and outline a construction that
shows that it is consistent that a successor of a critical cardinal is singular.
This is a recent work with Yair Hayut.
2017 Mar 22

Logic seminar - Chris Lambie-Hanson, "Trees with ascent paths"

4:00pm to 6:00pm

Location: 

Ross 70
Abstract: The notion of an ascent path through a tree, isolated by Laver, is a generalization of the notion of a cofinal branch and, in many cases, the existence of an ascent path through a tree provides a concrete obstruction to the tree being special. We will discuss some recent results regarding ascent paths through kappa-trees, where kappa > omega_1 is a regular cardinal. We will discuss the consistency of the existence or non-existence of a special mu^+-tree with a cf(mu)-ascent path, where mu is a singular cardinal.
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.

Pages