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 条

[1] On weak compactness and countable weak compactness in fixed point theory
Kulesza, J
Lim, TC
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1996, 124 (11) : 3345 - 3349
[2] On the removal of weak compactness arguments in proof mining
Ferreira, Fernando
Leustean, Laurentu
Pinto, Pedro
ADVANCES IN MATHEMATICS, 2019, 354
[3] AN ELEMENTARY PROOF OF JAMES' CHARACTERIZATION OF WEAK COMPACTNESS
Moors, Warren B.
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2011, 84 (01) : 98 - 102
[4] AN ELEMENTARY PROOF OF JAMES' CHARACTERISATION OF WEAK COMPACTNESS. II
Moors, Warren B.
White, Samuel J.
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2017, 95 (01) : 133 - 137
[5] A Simple Proof of the Borel Extension Theorem and Weak Compactness of Operators
I. Dobrakov
T. V. Panchapagesan
Czechoslovak Mathematical Journal, 2002, 52 : 691 - 703
[6] A simple proof of the Borel extension theorem and weak compactness of operators
Dobrakov, I
Panchapagesan, TV
CZECHOSLOVAK MATHEMATICAL JOURNAL, 2002, 52 (04) : 691 - 703
[7] WEAK COMPACTNESS
VALDIVIA, M
STUDIA MATHEMATICA, 1973, 49 (01) : 35 - 40
[8] COMPACTNESS AND COUNTABLE COMPACTNESS IN WEAK TOPOLOGIES
KIRK, WA
STUDIA MATHEMATICA, 1995, 112 (03) : 243 - 250
[9] PROOF OF COMPACTNESS THEOREM
DANHOF, KJ
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (02): : 179 - 182
[10] ARISTOTLES COMPACTNESS PROOF
LEAR, J
JOURNAL OF PHILOSOPHY, 1979, 76 (04): : 198 - 215

← 1 2 3 4 5 →