Семинары: Michael Rathjen, On Feferman's second conjecture

СЕМИНАРЫ


Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 4 апреля 2016 г., г. Москва, конференц-зал МИАН (ул. Губкина, 8), г. Москва

On Feferman's second conjecture Michael Rathjen
Аннотация: 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. Язык доклада: английский