INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN

被引：8

作者：

Rathjen, Michael ^{[1
]}

机构：

[1] Univ Leeds, Dept Pure Math, Leeds LS2 9JT, W Yorkshire, England

来源：

JOURNAL OF SYMBOLIC LOGIC | 2016年 / 81卷 / 02期

基金：

英国工程与自然科学研究理事会;

关键词：

Continuum hypothesis; indefinite concepts; semi-intuitionistic set theory; realizability; relativized constructible hierarchy; forcing;

D O I：

10.1017/jsl.2015.55

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.

引用

页码：742 / 754

页数：13

共 24 条

[11] Intuitionistic fixed point theories over set theories
Arai, Toshiyasu
ARCHIVE FOR MATHEMATICAL LOGIC, 2015, 54 (5-6) : 531 - 553
[12] Intuitionistic fixed point theories over set theories
Toshiyasu Arai
Archive for Mathematical Logic, 2015, 54 : 531 - 553
[13] Ordinal analysis and the set existence property for intuitionistic set theories
Rathjen, Michael
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2023, 381 (2248): : 20220019
[14] On Intuitionistic Fuzzy Semi - Supra Open Set and Intuitionistic Fuzzy Semi - Supra Continuous Functions
Parimala, M.
Indirani, C.
GRAPH ALGORITHMS, HIGH PERFORMANCE IMPLEMENTATIONS AND ITS APPLICATIONS (ICGHIA 2014), 2015, 47 : 319 - 325
[15] SET EXISTENCE PROPERTY FOR INTUITIONISTIC THEORIES WITH DEPENDENT CHOICE
FRIEDMAN, HM
SCEDROV, A
ANNALS OF PURE AND APPLIED LOGIC, 1983, 25 (02) : 129 - 140
[16] Models of intuitionistic set theories over partial combinatory algebras
Rathjen, Michael
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 3959 : 68 - 78
[17] On the position of intuitionistic fuzzy set theory in the framework of theories modelling imprecision
Deschrijver, Glad
Kerre, Etienne E.
INFORMATION SCIENCES, 2007, 177 (08) : 1860 - 1866
[18] THE LACK OF DEFINABLE WITNESSES AND PROVABLY RECURSIVE FUNCTIONS IN INTUITIONISTIC SET THEORIES
FRIEDMAN, HM
SCEDROV, A
ADVANCES IN MATHEMATICS, 1985, 57 (01) : 1 - 13
[19] THE LACK OF DEFINABLE WITNESSES AND PROVABLY RECURSIVE FUNCTIONS IN INTUITIONISTIC SET THEORIES
FRIEDMAN, H
SCEDROV, A
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 1095 - 1095
[20] Proof-theoretic conservations of weak weak intuitionistic constructive set theories
Gordeev, Lev
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (12) : 1274 - 1292

← 1 2 3 →