Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming 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

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
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024