ON ZERMELO AND VONNEUMANN AXIOMS FOR SET THEORY

被引：5

|

作者：

WANG, H

机构：

来源：

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA | 1949年 / 35卷 / 03期

关键词：

D O I：

10.1073/pnas.35.3.150

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：150 / 155

页数：6

相关论文

共 50 条

[41] FUNCTIONAL ANALYTIC AXIOMS AND SET-THEORY
HONIG, CS
[J]. COMPUTATIONAL & APPLIED MATHEMATICS, 1994, 13 (03): : 205 - 213
[42] Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
Rathjen, Michael
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (02) : 563 - 572
[43] The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Rathjen, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (04) : 1233 - 1254
[44] ANE-COMPLETENESS OF ZERMELO-FRAENKEL SET-THEORY
GOGOL, D
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (04): : 289 - 290
[45] REFINED AXIOM SYSTEM OF ZERMELO-FRENKEL SET-THEORY
TAKAHASH.M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 434 - &
[46] Canonical form of Tarski sets in Zermelo-Fraenkel set theory
E. I. Bunina
V. K. Zakharov
[J]. Mathematical Notes, 2005, 77 : 297 - 306
[47] Canonical form of Tarski sets in Zermelo-Fraenkel set theory
Bunina, EI
Zakharov, VK
[J]. MATHEMATICAL NOTES, 2005, 77 (3-4) : 297 - 306
[48] A class of higher inductive types in Zermelo-Fraenkel set theory
Swan, Andrew W.
[J]. MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (01) : 118 - 127
[49] ANTI-FOUNDATION AXIOMS FOR SET-THEORY
ACZEL, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 1094 - 1094
[50] Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
Zakharov V.K.
Bunina E.I.
Mikhalev A.V.
Andreev P.V.
[J]. Journal of Mathematical Sciences, 2006, 138 (4) : 5763 - 5829

← 1 2 3 4 5 →