Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleINDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN.AuthorsRATHJEN, MICHAELAbstractThe paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.SubjectsSET theory; MATHEMATICS; AGGREGATED data; MATHEMATICAL logic; ABSTRACT algebraPublicationJournal of Symbolic Logic, 2016, Vol 81, Issue 2, p742ISSN0022-4812Publication typeArticleDOI10.1017/jsl.2015.55