An axiomatisation of the set theory

被引：0

|

作者：

von Neumann, J

机构：

来源：

JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK | 1925年 / 154卷 / 1/4期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：219 / 240

页数：22

相关论文

共 50 条

[1] A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
Bergstra, Jan A.
Tucker, John v
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2025, 26 (01)
[2] Axiomatisation of substitution.
Crabbé, M
COMPTES RENDUS MATHEMATIQUE, 2004, 338 (06) : 433 - 436
[3] Axiomatisation and Simulation
Troitzsch, Klaus G.
INFORMATION, 2019, 10 (02)
[4] An Axiomatisation of a Pure Calculus of Names
Kulicki, Piotr
STUDIA LOGICA, 2012, 100 (05) : 921 - 946
[5] Canonical varieties with no canonical axiomatisation
Hodkinson, I
Venema, Y
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 357 (11) : 4579 - 4605
[6] A Diagrammatic Axiomatisation for Qubit Entanglement
Hadzihasanovic, Amar
2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 573 - 584
[7] A complete axiomatisation for timed automata
Lin, HM
Yi, W
FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2000, 1974 : 277 - 289
[8] RUSSELLS PARADOX IN SET SPACES (AXIOMATIC SET THEORY IS NOT SET THEORY)
NAKANO, H
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (05): : 764 - &
[9] A Complete Axiomatisation for Probabilistic Trace Equivalence
Timmers, Ferry
Groote, Jan Friso
SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2020, 30 (01) : 69 - 104
[10] Barrier synchronisation:: Axiomatisation and relaxation
Stewart, A
Clint, M
Gabarró, J
FORMAL ASPECTS OF COMPUTING, 2004, 16 (01) : 36 - 50

← 1 2 3 4 5 →