|
|
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 |
Number of views: |
This page: | 302 |
|
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
|
|