Rathjen, M (2016) Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman. Journal of Symbolic Logic, 81 (2). pp. 742-754. ISSN 0022-4812
Abstract
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2016, Association for Symbolic Logic. Reproduced in accordance with the publisher's self-archiving policy. |
Keywords: | Continuum hypothesis; indefinite concepts; semi-intuitionistic set theory; realizability; relativized constructible hierarchy; forcing |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Funding Information: | Funder Grant number Leverhulme Trust RF-2013-265 |
Depositing User: | Symplectic Publications |
Date Deposited: | 18 Mar 2016 12:31 |
Last Modified: | 23 Jun 2023 22:00 |
Published Version: | http://dx.doi.org/10.1017/jsl.2015.55 |
Status: | Published |
Publisher: | Association for Symbolic Logic |
Identification Number: | 10.1017/jsl.2015.55 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:96227 |