{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T22:37:40Z","timestamp":1781563060957,"version":"3.54.5"},"reference-count":69,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":6620,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1995,12]]},"abstract":"<jats:p><jats:bold>\u00a71. Introduction<\/jats:bold>. Among the most remarkable discoveries in set theory in the last quarter century is the rich structure of the arithmetic of singular cardinals, and its deep relationship to large cardinals. The problem of finding a complete set of rules describing the behavior of the continuum function 2<jats:sup>\u2135<jats:sub>\u03b1<\/jats:sub><\/jats:sup>for singular \u2135<jats:sub>\u03b1<\/jats:sub>'s, known as the<jats:italic>Singular Cardinals Problem<\/jats:italic>, has been attacked by many different techniques, involving forcing, large cardinals, inner models, and various combinatorial methods. The work on the singular cardinals problem has led to many often surprising results, culminating in a beautiful theory of Saharon Shelah called the pcf theory (\u201cpcf\u201d stands for \u201cpossible cofinalities\u201d). The most striking result to date states that if 2<jats:sup>\u2135<jats:sub><jats:italic>n<\/jats:italic><\/jats:sub><\/jats:sup>&lt; \u2135<jats:sub>\u03c9<\/jats:sub>for every<jats:italic>n<\/jats:italic>= 0, 1, 2, \u2026, then 2<jats:sup>\u2135<jats:sub>\u03c9<\/jats:sub><\/jats:sup>&lt; \u2135<jats:sub>\u03c94<\/jats:sub>.<\/jats:p><jats:p>In this paper we present a brief history of the singular cardinals problem, the present knowledge, and an introduction into Shelah's pcf theory. In Sections 2, 3 and 4 we introduce the reader to cardinal arithmetic and to the singular cardinals problems. Sections 5, 6, 7 and 8 describe the main results and methods of the last 25 years and explain the role of large cardinals in the singular cardinals problem. In Section 9 we present an outline of the pcf theory.<\/jats:p><jats:p><jats:bold>\u00a72. The arithmetic of cardinal numbers<\/jats:bold>. Cardinal numbers were introduced by Cantor in the late 19th century and problems arising from investigations of rules of arithmetic of cardinal numbers led to the birth of set theory. The operations of addition, multiplication and exponentiation of infinite cardinal numbers are a natural generalization of such operations on integers. Addition and multiplication of infinite cardinals turns out to be simple: when at least one of the numbers<jats:italic>\u03ba<\/jats:italic>,<jats:italic>\u03bb<\/jats:italic>is infinite then both<jats:italic>\u03ba<\/jats:italic>+<jats:italic>\u03bb<\/jats:italic>and<jats:italic>\u03ba<\/jats:italic><jats:italic>\u00b7<\/jats:italic><jats:italic>\u03bb<\/jats:italic>are equal to max {<jats:italic>\u03ba<\/jats:italic>,<jats:italic>\u03bb<\/jats:italic>}. In contrast with + and \u00b7, exponentiation presents fundamental problems. In the simplest nontrivial case, 2<jats:italic><jats:sup>\u03ba<\/jats:sup><\/jats:italic>represents the cardinal number of the power set<jats:italic>P<\/jats:italic>(<jats:italic>\u03ba<\/jats:italic>), the set of all subsets of<jats:italic>\u03ba<\/jats:italic>. (Here we adopt the usual convention of set theory that the number<jats:italic>\u03ba<\/jats:italic>is identified with a set of cardinality<jats:italic>\u03ba<\/jats:italic>, namely the set of all ordinal numbers smaller than<jats:italic>\u03ba<\/jats:italic>.<\/jats:p>","DOI":"10.2307\/421130","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:08:20Z","timestamp":1146985700000},"page":"408-424","source":"Crossref","is-referenced-by-count":27,"title":["Singular Cardinals and the PCF Theory"],"prefix":"10.1017","volume":"1","author":[{"given":"Thomas","family":"Jech","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600008015_ref045","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1992-1073778-4"},{"key":"S1079898600008015_ref041","doi-asserted-by":"publisher","DOI":"10.2307\/1971065"},{"key":"S1079898600008015_ref007","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.50.6.1143"},{"key":"S1079898600008015_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90057-9"},{"key":"S1079898600008015_ref022","doi-asserted-by":"publisher","DOI":"10.2307\/2275399"},{"key":"S1079898600008015_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90016-F"},{"key":"S1079898600008015_ref048","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(82)90023-7"},{"key":"S1079898600008015_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(76)90002-9"},{"key":"S1079898600008015_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/2319930"},{"key":"S1079898600008015_ref064","unstructured":"Shelah S. , The generalized continuum hypothesis revisited, to appear, [Sh 460]."},{"key":"S1079898600008015_ref067","first-page":"265","volume-title":"Proceedings of the International Congress of Mathematicians","author":"Silver","year":"1974"},{"key":"S1079898600008015_ref065","unstructured":"Shelah S. , The pcf-theorem revisited, A special volume dedicated to Paul Erd\u0151s, edited by R. Graham and J. Ne\u0161et\u0159il, to appear, [Sh 506]."},{"key":"S1079898600008015_ref046","first-page":"1","article-title":"Independence proof of (\u03c9, \u03c9\u03b1)-distributive law in complete Boolean algebras","volume":"19","author":"Namba","year":"1970","journal-title":"Commentarii Mathematici Universitatis Sancti Pauli"},{"key":"S1079898600008015_ref043","doi-asserted-by":"publisher","DOI":"10.1007\/BF02025889"},{"key":"S1079898600008015_ref038","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71228-X"},{"key":"S1079898600008015_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(82)90013-4"},{"key":"S1079898600008015_ref025","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.25.4.220"},{"key":"S1079898600008015_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF02782938"},{"key":"S1079898600008015_ref033","unstructured":"Jech T. and Shelah S. , Possible pcf algebras, The Journal of Symbolic Logic, to appear."},{"key":"S1079898600008015_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(81)90011-5"},{"key":"S1079898600008015_ref061","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537854.001.0001","volume-title":"Cardinal arithmetic","author":"Shelah","year":"1994"},{"key":"S1079898600008015_ref023","unstructured":"Gitik M. and Mitchell W. J. , Indiscernible sequences for extenders, and the singular cardinal hypothesis, to appear."},{"key":"S1079898600008015_ref040","doi-asserted-by":"publisher","DOI":"10.1007\/BF02759779"},{"key":"S1079898600008015_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/BF01624081"},{"key":"S1079898600008015_ref010","first-page":"115","volume-title":"Logic Conference, Kiel 1974, Proceedings","volume":"499","author":"Devlin","year":"1975"},{"key":"S1079898600008015_ref050","first-page":"521","article-title":"Measurable cardinals and constructible sets","volume":"9","author":"Scott","year":"1961","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences"},{"key":"S1079898600008015_ref063","unstructured":"Shelah S. , Further cardinal arithmetic, Israel Journal of Mathematics, to appear, [Sh 430]."},{"key":"S1079898600008015_ref052","doi-asserted-by":"publisher","DOI":"10.2307\/2273354"},{"key":"S1079898600008015_ref026","doi-asserted-by":"publisher","DOI":"10.2307\/2304666"},{"key":"S1079898600008015_ref029","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511983917.021"},{"key":"S1079898600008015_ref027","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19730190305"},{"key":"S1079898600008015_ref044","doi-asserted-by":"publisher","DOI":"10.1017\/S030500410006151X"},{"key":"S1079898600008015_ref031","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1976-14121-3"},{"key":"S1079898600008015_ref056","doi-asserted-by":"publisher","DOI":"10.1007\/BF02774143"},{"key":"S1079898600008015_ref019","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90149-8"},{"key":"S1079898600008015_ref036","volume-title":"Higher set theory","author":"Kanamori","year":"1994"},{"key":"S1079898600008015_ref008","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.51.1.105"},{"key":"S1079898600008015_ref003","first-page":"181","article-title":"The continuum problem and the powers of alephs","volume":"6","author":"Bukovsk\u00fd","year":"1965","journal-title":"Commentationes Math-ematicae Universitatis Carolinae"},{"key":"S1079898600008015_ref030","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/24.2.127"},{"key":"S1079898600008015_ref062","unstructured":"Shelah S. , Advances in cardinal arithmetic, Proceedings of the Banff Conference in Alberta, to appear, [Sh 420]."},{"key":"S1079898600008015_ref035","first-page":"xxx","article-title":"Inner models and large cardinals","volume":"1","author":"Jensen","year":"1995","journal-title":"Bulletin"},{"key":"S1079898600008015_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9754-0_16"},{"key":"S1079898600008015_ref015","doi-asserted-by":"publisher","DOI":"10.2307\/1970936"},{"key":"S1079898600008015_ref058","doi-asserted-by":"publisher","DOI":"10.1007\/BF02807866"},{"key":"S1079898600008015_ref042","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-99-1-61-71","article-title":"Changing cofinality of cardinals","volume":"99","author":"Magidor","year":"1978","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600008015_ref004","first-page":"37","volume-title":"Set theory and hierarchy theory","volume":"537","author":"Bukovsk\u00fd","year":"1976"},{"key":"S1079898600008015_ref032","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1991-1070525-1"},{"key":"S1079898600008015_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(70)90012-4"},{"key":"S1079898600008015_ref060","doi-asserted-by":"publisher","DOI":"10.1007\/BF01270465"},{"key":"S1079898600008015_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90069-9"},{"key":"S1079898600008015_ref049","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90009-X"},{"key":"S1079898600008015_ref053","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21543-2"},{"key":"S1079898600008015_ref059","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1992-00261-6"},{"key":"S1079898600008015_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF01446819"},{"key":"S1079898600008015_ref009","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1992-1041044-9"},{"key":"S1079898600008015_ref028","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-81-1-57-64","article-title":"Properties of the gimel function and a classification of singular cardinals","volume":"81","author":"Jech","year":"1973","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600008015_ref037","doi-asserted-by":"publisher","DOI":"10.1007\/BF01677263"},{"key":"S1079898600008015_ref054","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511758867.004"},{"key":"S1079898600008015_ref068","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/025\/0379200"},{"key":"S1079898600008015_ref014","doi-asserted-by":"publisher","DOI":"10.2307\/2944324"},{"key":"S1079898600008015_ref051","doi-asserted-by":"publisher","DOI":"10.1007\/BF02760829"},{"key":"S1079898600008015_ref034","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90001-0"},{"key":"S1079898600008015_ref047","first-page":"5","article-title":"Changing measurable into accessible cardinals","volume":"68","author":"Prikry","year":"1970","journal-title":"Dissertationes Mathematicae"},{"key":"S1079898600008015_ref055","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636617"},{"key":"S1079898600008015_ref057","doi-asserted-by":"publisher","DOI":"10.1007\/BF02787123"},{"key":"S1079898600008015_ref020","unstructured":"Gitik M. , Blowing up the power of a singular cardinal, Annals of Pure and Applied Logic, to appear."},{"key":"S1079898600008015_ref066","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90010-6"},{"key":"S1079898600008015_ref069","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-7-1-1-14","article-title":"Quelques th\u00e9or\u00e8mes sur les alephs","volume":"7","author":"Tarski","year":"1925","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600008015_ref039","doi-asserted-by":"publisher","DOI":"10.2307\/2272130"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600008015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:36:01Z","timestamp":1707032161000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600008015\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":69,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["S1079898600008015"],"URL":"https:\/\/doi.org\/10.2307\/421130","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}