Seminars: Michael Rathjen, On Feferman's second conjecture

SEMINARS


Seminars "Proof Theory" and "Logic Online Seminar" April 4, 2016, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina), Moscow

On Feferman's second conjecture Michael Rathjen
Abstract: In addition to his conjecture about the indeterminacy of CH relative to semi-intuitionistic set theory, Feferman stated another conjecture concerning the relationship between two types of predicates in such set theories, namely that the collection of $\Delta_1$ predicates and the collection of predicates for which the law of excluded middle holds should coincide. The talk will address this conjecture. Language: English