COMBINATOR REALIZABILITY OF A CONSTRUCTIVE MORSE SET-THEORY

被引：0

|

作者：

STAPLES, J ^{[1
]}

机构：

[1] AUSTRALIAN NATL UNIV,CANBERRA 2600,ACT,AUSTRALIA

来源：

JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 02期

关键词：

D O I：

10.2307/2272635

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：226 / 234

页数：9

相关论文

共 50 条

[1] REALIZABILITY AND RECURSIVE SET-THEORY
MCCARTY, C
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (02) : 153 - 183
[2] CONSTRUCTIVE SET-THEORY
MYHILL, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (03) : 347 - 382
[3] A CONSTRUCTIVE INTERPRETATION OF THE FULL SET-THEORY
TURCHIN, VF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 172 - 201
[4] MARKOVS PRINCIPLE IN CONSTRUCTIVE SET-THEORY
MCCARTY, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1088 - 1089
[5] A CONSTRUCTIVE SET-THEORY FOR PROGRAM-DEVELOPMENT
HENSON, MC
TURNER, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 338 : 329 - 347
[6] A CONSTRUCTIVE CONSISTENCY PROOF OF A FRAGMENT OF SET-THEORY
PEARCE, J
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1984, 27 (01) : 25 - 62
[7] Generalizing realizability and Heyting models for constructive set theory
Ziegler, Albert
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (02) : 175 - 184
[8] Morse set theory as a foundation for constructive mathematics
Bridges, Douglas S.
[J]. THEORETICAL COMPUTER SCIENCE, 2022, 928 : 115 - 135
[9] CONSTRUCTIVE SET-THEORY WITH TYPES, CONSISTENCY WITH THE CHURCH THESIS
KASHAPOVA, FR
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1984, (04): : 72 - 75
[10] The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
Konovalov A.Y.
[J]. Moscow University Mathematics Bulletin, 2017, 72 (3) : 129 - 132

← 1 2 3 4 5 →