PROOF THEORY OF WEAK COMPACTNESS

被引：5

作者：

Arai, Toshiyasu ^{[1
]}

机构：

[1] Chiba Univ, Grad Sch Sci, Inage Ku, Chiba 2638522, Japan

来源：

JOURNAL OF MATHEMATICAL LOGIC | 2013年 / 13卷 / 01期

关键词：

Weakly compact cardinal; Mahlo operation; Mostowski collapsing; ordinal analysis;

D O I：

10.1142/S0219061313500037

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show that the existence of a weakly compact cardinal over the Zermelo-Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.

引用

页数：26

共 50 条

[21] WEAK COMPACTNESS AND REFLEXIVITY
JAMES, RC
ISRAEL JOURNAL OF MATHEMATICS, 1964, 2 (02) : 101 - &
[22] COMPACTNESS AND WEAK COMPACTNESS OF WEIGHTED COMPOSITION OPERATORS ON BMOA
Laitila, Jussi
Lindstrom, Mikael
Norrbo, David
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2023, 151 (03) : 1195 - 1207
[23] CONTINUITY OF SAMPLE PATHS AND WEAK COMPACTNESS OF MEASURES IN EUCLIDEAN FIELD-THEORY
HABA, Z
JOURNAL OF MATHEMATICAL PHYSICS, 1982, 23 (08) : 1493 - 1500
[24] On the Weak Compactness in Banach Lattices
陈滋利
Acta Mathematica Sinica,English Series, 1988, (04) : 301 - 308
[25] WEAK COMPACTNESS IN CONSTRUCTIVE SPACES
VERMEULEN, JJC
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1992, 111 : 63 - 74
[26] On the Weak Compactness in Banach Lattices
陈滋利
ActaMathematicaSinica, 1988, (04) : 301 - 308
[27] WEAK COMPACTNESS IN BANACH SETS
MEYERNIEBERG, P
MATHEMATISCHE ZEITSCHRIFT, 1973, 134 (04) : 303 - 315
[28] A CONDITION OF WEAK COMPACTNESS FOR SEMIMARTINGALES
LEBEDEV, VA
DOKLADY AKADEMII NAUK SSSR, 1980, 254 (01): : 36 - 39
[29] WEAK COMPACTNESS IN BANACH SPACES
EBERLEIN, WF
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (11) : 1007 - 1007
[30] Weak compactness in dual spaces
Meyer-Nieberg, P
Möller, C
ARCHIV DER MATHEMATIK, 2002, 78 (03) : 215 - 222

← 1 2 3 4 5 →