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 条

[31] Toward a minimalist foundation for constructive mathematics
Maietti, Maria Emilia
Sambin, Giovanni
[J]. From Sets and Types to Topology and Analysis: TOWARDS PRACTICABLE FOUNDATIONS FOR CONSTRUCTIVE MATHEMATICS, 2005, 48 : 91 - 114
[32] THE RELEVANCE OF CONSTRUCTIVE MATHEMATICS TO PHYSICAL THEORIES
DRAGO, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 316 - 316
[33] Can constructive mathematics be applied in physics?
Bridges, DS
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (05) : 439 - 453
[34] COMPARING THE THEORY OF REPRESENTATIONS AND CONSTRUCTIVE MATHEMATICS
TROELSTRA, AS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 382 - 395
[35] CONSTRUCTIVE FOUNDATIONS OF MATHEMATICS .1.
WANG, H
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 59 (06) : 557 - 558
[36] Constructive Combinatorics in Elementary School Mathematics
M. A. Posicelskaya
[J]. Doklady Mathematics, 2023, 107 : S52 - S77
[37] The swap of integral and limit in constructive mathematics
Taschner, Rudolf
[J]. MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (05) : 533 - 540
[38] Constructive mathematics and functional programming (Abstract)
Coquand, Thierry
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 146 - 147
[39] Quotient Completion for the Foundation of Constructive Mathematics
Maietti, Maria Emilia
Rosolini, Giuseppe
[J]. LOGICA UNIVERSALIS, 2013, 7 (03) : 371 - 402
[40] CONSTRUCTIVE ASSERTIONS IN AN EXTENSION OF CLASSICAL MATHEMATICS
LIFSCHITZ, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (02) : 359 - 387

← 1 2 3 4 5 →