Sign in

Le spectre modèle-compagnon de la théorie des ensembles, l'absoluité générique et le problème du continuum

By Matteo Viale
Nous montrons que pour les propriétés \( \ Pi_2 of de l'arithmétique du second ou du troisième ordre telles que formalisées dans des signatures naturelles appropriées, la notion apparemment plus faible de force chevauche la notion standard de cohérence (en supposant de grands axiomes cardinaux). Parmi ces propriétés \) \... Show more
January 19, 2021
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem
Click on play to start listening