The basic principles of the Cantor-Zermelo set theory

被引：51

|

作者：

Fraenkel, A

机构：

来源：

MATHEMATISCHE ANNALEN | 1922年 / 86卷

关键词：

D O I：

10.1007/BF01457986

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：230 / 237

页数：8

相关论文

共 50 条

[21] Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
Chen, Ray-Ming
Rathjen, Michael
ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (7-8): : 789 - 818
[22] An automated prover for Zermelo-Fraenkel set theory in Theorema
Windsteiger, W
JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (3-4) : 435 - 470
[23] λZ:: Zermelo's set theory as a PTS with 4 sorts
Miquel, A
TYPES FOR PROOFS AND PROGRAMS, 2006, 3839 : 232 - 251
[24] LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
Arai, Toshiyasu
JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (02) : 325 - 354
[25] GLOBAL QUANTIFICATION IN ZERMELO-FRAENKEL SET-THEORY
MAYBERRY, J
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 289 - 301
[26] YONEDA LEMMA IN ZERMELO-FRAENKEL SET-THEORY
KUHNRICH, MV
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (05): : 443 - 446
[27] COMPLETENESS THEOREM FOR ZERMELO-FRAENKEL SET-THEORY
POWELL, WC
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 323 - 327
[28] A theological substantiation of Cantor's set theory
Trlifajová, K
FILOSOFICKY CASOPIS, 2005, 53 (02): : 195 - 218
[29] Cantor Paradoxes, Possible Worlds and Set Theory
Uso-Domenech, Jose-Luis
Nescolarde-Selva, Josue-Antonio
Segura-Abad, Lorena
Gash, Hugh
Alonso-Stenberg, Kristian
MATHEMATICS, 2019, 7 (07)
[30] PROBLEM OF LOGICAL ANTINOMY IN CANTOR SET THEORY
HEITSCH, W
DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1969, 17 (02): : 182 - 193

← 1 2 3 4 5 →