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 条

[21] A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0
Kentaro, Sato
ANNALS OF PURE AND APPLIED LOGIC, 2015, 166 (7-8) : 800 - 835
[22] Basic intuitionistic principles in fuzzy set theories and its extensions (A terminological debate on Atanassov IFS)
Cattaneo, Gianpiero
Ciucci, Davide
FUZZY SETS AND SYSTEMS, 2006, 157 (24) : 3198 - 3219
[23] On Unification of Methods in Theories of Fuzzy Sets, Hesitant Fuzzy Set, Fuzzy Soft Sets and Intuitionistic Fuzzy Sets
Mockor, Jiri
Hynar, David
MATHEMATICS, 2021, 9 (04) : 1 - 26
[24] A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP
Sato, Kentaro
Zumbrunnen, Rico
ANNALS OF PURE AND APPLIED LOGIC, 2015, 166 (02) : 121 - 186

← 1 2 3 →