CONSISTENCY OF A HYPOTHESIS STRONGLY NEGATING FOUNDATION AXIOM

被引：0

|

作者：

BOFFA, M

机构：

来源：

COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A | 1971年 / 272卷 / 22期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：1433 / &

相关论文

共 50 条

[31] CONSISTENCY CHECKING IN HYPOTHESIS GENERATION
FISHER, SD
GETTYS, CF
MANNING, C
MEHLE, T
BACA, S
[J]. ORGANIZATIONAL BEHAVIOR AND HUMAN PERFORMANCE, 1983, 31 (02): : 233 - 254
[32] The relative consistency of the axiom of choice - Mechanized using Isabelle/ZF
Paulson, Lawrence C.
[J]. LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 486 - 490
[33] NOTION OF EFFECTIVE SETS AND A NEW PROOF OF CONSISTENCY OF AXIOM OF CHOICE
VOPENKA, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 495 - &
[34] On the Consistency Rule in Causal Inference Axiom, Definition, Assumption, or Theorem?
Pearl, Judea
[J]. EPIDEMIOLOGY, 2010, 21 (06) : 872 - 875
[35] Forcing under anti-foundation axiom: An expression of the stalks
Sato, Kentaro
[J]. MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (03) : 295 - 314
[36] THE GENERALIZED CONTINUUM-HYPOTHESIS AND ITS RELATIONSHIP WITH THE AXIOM OF CHOICE
AMOR, JA
[J]. CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1989, 21 (62): : 55 - 66
[37] Frege on knowing the foundation (Euclideanism, self-evidence, axiom)
Burge, T
[J]. MIND, 1998, 107 (426) : 305 - 347
[38] INDEPENDENCE OF AXIOM OF CHOICE FROM A VARIANT OF GENERALIZED CONTINUUM HYPOTHESIS
DERRICK, J
DRAKE, FR
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 292 - +
[39] WEAK FORMS OF THE AXIOM OF CHOICE AND THE GENERALIZED CONTINUUM-HYPOTHESIS
RUBIN, AL
RUBIN, JE
[J]. MATHEMATICAL LOGIC QUARTERLY, 1993, 39 (01) : 7 - 22
[40] The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis
Moore, Justin Tatch
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2006, 140 (1-3) : 128 - 132

← 1 2 3 4 5 →