2000 character limit reached
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman (1405.4481v1)
Published 18 May 2014 in math.LO
Abstract: The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.