F Contact us


0

Video of the week

Post-edited

Distributive Aronszajn trees

Rinot, Assaf (Author of the conference)

Loading the player...

square principle alternative constructions improving squares postprocessing functions mixing lemma

Latest Videos

The Toeplitz square peg problem asks if every simple closed curve in the plane inscribes a square. This is known for sufficiently regular curves (e.g. polygons), but is open in general. We show that ...
In the first part, we describe the canonical model structure on the category of strict $\omega$-categories and how it transfers to related subcategories. We then characterize the cofibrant objects as ...
I will explain how to bound from above and below the expected Betti numbers of a random subcomplex in a simplicial complex and get asymptotic results under infinitely many barycentric subdivisions. ...
The partially disjoint paths problem asks for paths $P_1, \ldots,P_k$ between given pairs of terminals, while certain pairs of paths $P_i$,$P_j$ are required to be disjoint. With the help of ...
We will analyze consequences of various types of Prikry forcing on combinatorial properties at singular cardinals and their successors, focusing on weak square and simultaneous stationary reflection. ...
N. Hindman, I. Leader and D. Strauss proved that if $2^{\aleph_0}<\aleph_\omega$ then there is a finite colouring of $\mathbb{R}$ so that no infinite sumset $X+X$ is monochromatic. Now, we prove a ...
Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of ...
We discuss classical realizability, a branch of mathematical logic that investigates the computational content of mathematical proofs by establishing a correspondence between proofs and programs. ...
Z