{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:52:04Z","timestamp":1759146724362},"reference-count":1,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":12520,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1979,12]]},"abstract":"<jats:p>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.<\/jats:p><jats:p>A direct simple proof of a weaker implication (e.g., weakly compact \u03bc 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.<\/jats:p><jats:p>We were motivated by the manuscript of Erd\u00f6s, Hajnal, Mate and Rado's book on partition calculus, and by conversations with A. Levi who was writing a book on naive set theory.<\/jats:p><jats:p><jats:italic>Notation<\/jats:italic>. Let <jats:italic>i, j<\/jats:italic>, \u03b1, \u03b2, \u03b3, \u03b7, \u03c3 be ordinals, \u03bc be a cardinal, <jats:italic>f, g<\/jats:italic> be functions.<\/jats:p><jats:p>Let cf \u03b1 be the cofinality of \u03b1.<\/jats:p><jats:p>A partially ordered set <jats:italic>T<\/jats:italic> is a tree if for any <jats:italic>a<\/jats:italic> \u2208 <jats:italic>T<\/jats:italic>, {<jats:italic>b: b<\/jats:italic> &lt; <jats:italic>a, b<\/jats:italic> \u2208 <jats:italic>T<\/jats:italic>} is well ordered; its order type (an ordinal) is called the level of <jats:italic>a<\/jats:italic>, and <jats:italic>T<\/jats:italic><jats:sub>\u03b1<\/jats:sub> is the set of <jats:italic>a<\/jats:italic> \u2208 <jats:italic>T<\/jats:italic> of level <jats:italic>a<\/jats:italic>.<\/jats:p>","DOI":"10.2307\/2273294","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:51:21Z","timestamp":1146937881000},"page":"559-562","source":"Crossref","is-referenced-by-count":11,"title":["Weakly compact cardinals: A combinatorial proof"],"prefix":"10.1017","volume":"44","author":[{"given":"S.","family":"Shelah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120004843X_ref002","first-page":"430","volume-title":"Combinatorics, Handbook of Mathematical Logic","year":"1977"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120004843X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T16:28:04Z","timestamp":1558888084000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120004843X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":1,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["S002248120004843X"],"URL":"https:\/\/doi.org\/10.2307\/2273294","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}