• D

0

# Video of the week

## Post-edited

Rinot, Assaf (Author of the conference)

square principle alternative constructions improving squares postprocessing functions mixing lemma

# Latest Videos

## Post-edited An integration approach to the Toeplitz square peg problem

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 ...

## Post-edited Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 1

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 ...

## Post-edited Expected topology of a random subcomplex in a simplicial complex

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. ...

## Post-edited The partially disjoint paths problem

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 ...

## Multi angle Prikry type forcing and combinatorial properties

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. ...

## Multi angle Monochromatic sumsets for colourings of $\mathbb{R}$

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 ...

## Multi angle The hierarchy of second-order set theories between GBC and KM and beyond

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 ...

## Multi angle From forcing models to realizability models

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