Università degli Studi di Padova

“Implicative models for set theory”

Giovedì 26 Gennaio 2023, ore 15:45 - Aula ABC45 - Samuele Maschio (Università di Padova)

Implicative algebras, recently introduced by A. Miquel, represent a generalization both of complete Heyting algebras and of partial combinatory algebras. In this talk I will show how to produce models for intuitionistic set theory in triposes defined from an implicative algebra, providing a generalization of Heyting-valued models and of Friedman-Rosolini-McCarty realizability models.