Collection 14th International workshop in set theory / XIVe Atelier international de théorie des ensembles

Organizer(s) Dzamonja, Mirna ; Magidor, Menachem ; Velickovic, Boban ; Woodin, W. Hugh
Date(s) 09/10/2017 - 13/10/2017
linked URL http://conferences.cirm-math.fr/1606.html

All the collection videos (5)

57:14

published on October 12, 2017

From forcing models to realizability models

By Laura Fontanella

45:58

published on October 12, 2017

Distributive Aronszajn trees

By Assaf Rinot

51:32

published on October 12, 2017

Prikry type forcing and combinatorial properties

By Dima Sinapova

50:22

published on October 12, 2017

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

By Joel David Hamkins

$Monochromatic sumsets for colourings of $\mathbb{R}$$
31:42

published on October 12, 2017

Monochromatic sumsets for colourings of $\mathbb{R}$

By Daniel T. Soukup

Mathematics
and Interactions

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Multidimensional symbolic dynamics and lattice models of quasicrystals / Dynamique symbolique multidimensionnelle et modèles de quasi-cristaux sur réseau

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Collection 14th International workshop in set theory / XIVe Atelier international de théorie des ensembles

From forcing models to realizability models

Distributive Aronszajn trees

Prikry type forcing and combinatorial properties

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

Monochromatic sumsets for colourings of $\mathbb{R}$

SageMath: research and experimentation in Combinatorics - Lecture 1

Compacted binary trees, stretched exponential and asymptotic behavior of recurrences

SageMath: research and experimentation in Combinatorics - Lecture 2

Probabilistic methods: entropy compression

Complex analysis in Lean

Stone duality and its formalization

Finite Type Properties of (Tame) Fundamental Groups

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib