Français
From forcing models to realizability models
Multi angle
Authors : Fontanella, Laura (Author of the conference)
CIRM (Publisher )
03E70 - Nonclassical set theories
03F50 - Metamathematics of constructive systems
03F55 - Intuitionistic mathematics
CIRM (Publisher )
Loading the player...
|
Abstract :
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. Research in this field has led to the development of highly technical constructions generalizing the method of forcing in set theory. In particular, models of realizability are models of ZF, and forcing models are special cases of realizability models.
MSC Codes : 03E70 - Nonclassical set theories
03F50 - Metamathematics of constructive systems
03F55 - Intuitionistic mathematics
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : English Available date : 12/10/2017 Conference Date : 10/10/2017 Subseries : Research talks arXiv category : Logic Mathematical Area(s) : Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 00:57:14 Targeted Audience : Researchers Download : https://videos.cirm-math.fr/2017-10-10_Fontanella.mp4 
|
Information on the Event
Event Title : 14th International workshop in set theory / XIVe Atelier international de théorie des ensemblesEvent Organizers : Dzamonja, Mirna ; Magidor, Menachem ; Velickovic, Boban ; Woodin, W. Hugh Dates : 09/10/2017 - 13/10/2017 Event Year : 2017 Event URL : http://conferences.cirm-math.fr/1606.html
Citation Data
DOI : 10.24350/CIRM.V.19228203Cite this video as: Fontanella, Laura (2017). From forcing models to realizability models. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19228203 URI : http://dx.doi.org/10.24350/CIRM.V.19228203 |
See Also
- [Post-edited] Distributive Aronszajn trees / Author of the conference Rinot, Assaf.
- [Multi angle] The hierarchy of second-order set theories between GBC and KM and beyond / Author of the conference Hamkins, Joel David.
- [Multi angle] Monochromatic sumsets for colourings of $\mathbb{R}$ / Author of the conference Soukup, Daniel T..
- [Multi angle] Prikry type forcing and combinatorial properties / Author of the conference Sinapova, Dima.
Bibliography
