EXTENSIONALITY AND CHOICE IN CONSTRUCTIVE MATHEMATICS

被引：0

|

作者：

BEESON, M

机构：

来源：

PACIFIC JOURNAL OF MATHEMATICS | 1980年 / 88卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1 / 28

页数：28

相关论文

共 50 条

[1] Constructive mathematics without choice
Richman, F
[J]. REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 2001, 306 : 199 - 205
[2] Spreads and choice in constructive mathematics
Richman, F
[J]. INDAGATIONES MATHEMATICAE-NEW SERIES, 2002, 13 (02): : 259 - 267
[3] The intermediate value theorem in constructive mathematics without choice
Hendtlass, Matthew
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (08) : 1050 - 1056
[4] Constructive Mathematics, Church's Thesis, and Free Choice Sequences
Turner, D. A.
[J]. CONNECTING WITH COMPUTABILITY, 2021, 12813 : 446 - 456
[5] CONSTRUCTIVE MATHEMATICS
CALDER, A
[J]. SCIENTIFIC AMERICAN, 1979, 241 (04) : 146 - &
[6] FORMALISATION OF CONSTRUCTIVE MATHEMATICS
MAYOH, BH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 384 - &
[7] WHAT IS CONSTRUCTIVE MATHEMATICS
BRIDGES, D
MINES, R
[J]. MATHEMATICAL INTELLIGENCER, 1984, 6 (04): : 32 - 38
[8] Science and constructive mathematics
Brown, JR
[J]. ANALYSIS, 2003, 63 (01) : 48 - 51
[9] Essays in constructive mathematics
Baylis, John
[J]. MATHEMATICAL GAZETTE, 2006, 90 (519): : 570 - 572
[10] CONSTRUCTIVE MATHEMATICS AND OBJECTS CONSTRUCTIVE IN PHI-(N)
DEMUTH, O
KUCERA, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 389 - 390

← 1 2 3 4 5 →