Hostname: page-component-7d684dbfc8-zgpz2 Total loading time: 0 Render date: 2023-09-23T20:50:57.403Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "coreDisableSocialShare": false, "coreDisableEcommerceForArticlePurchase": false, "coreDisableEcommerceForBookPurchase": false, "coreDisableEcommerceForElementPurchase": false, "coreUseNewShare": true, "useRatesEcommerce": true } hasContentIssue false

# Weakly compact cardinals: A combinatorial proof

Published online by Cambridge University Press:  12 March 2014

## Extract

We give here a direct purely combinatorial proof that weak compactness is equivalent to a combinatorial property (2). This property (2) is apparently stronger, and from it, all other usual equivalent definitions and usual properties of weakly compact cardinals can be deduced. So this proof may be useful for books which want to present weakly compact cardinals, but not logic.

A direct simple proof of a weaker implication (e.g., weakly compact μ is not the first inaccessible, and every stationary set has an initial segment which is stationary) was given by Kunen [K] and independently by the author [Sh]. Baumgartner [B] had another proof.

We were motivated by the manuscript of Erdös, Hajnal, Mate and Rado's book on partition calculus, and by conversations with A. Levi who was writing a book on naive set theory.

Notation. Let i, j, α, β, γ, η, σ be ordinals, μ be a cardinal, f, g be functions.

Let cf α be the cofinality of α.

A partially ordered set T is a tree if for any aT, {b: b < a, bT} is well ordered; its order type (an ordinal) is called the level of a, and Tα is the set of aT of level a.

Type
Research Article
Information
The Journal of Symbolic Logic , December 1979 , pp. 559 - 562