Seminario de realizabilidad

Diapositivas (en inglés)

• An introduction to Kleene realizability (versión del 23/10/2021)
• Kleene realizability and negative translations (versión del 03/11/2021)
• An introduction to Krivine realizability (versión del 24/11/2021)
• Realizing the axiom of dependent choice (DC) (versión del 01/12/2021)
• Forcing as a program transformation (versión del 16/04/2022)
• Implicative algebras: a new foundation for forcing and realizability (versión del 06/07/2022)
• The implicative tripos (versión del 06/07/2022)
• Implicative algebras II: completeness w.r.t. Set-based triposes (versión del 08/07/2022)
• Evidenced Frames: A Unifying Framework Broadening Realizability Models (versión del 23/06/2022), presentación de Félix Castro
• An interpretation of E-HA^ω inside HA^ω (versión del 14/07/2022), presentación de Félix Castro