The PCF conjecture and large cardinals
Luís Pereira
Source: J. Symbolic Logic Volume 73, Issue 2
(2008), 674-688.
Abstract
We prove that a combinatorial consequence of the negation of the PCF conjecture for intervals, involving free subsets relative to set mappings, is not implied by even the strongest known large cardinal axiom.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1208359066
Digital Object Identifier: doi:10.2178/jsl/1208359066
Zentralblatt MATH identifier: 1153.03024
Mathematical Reviews number (MathSciNet): MR2414471
References
A. Brooke-Taylor and S. D. Friedman, Large cardinals and gap-1 morasses, submitted.
M. R. Burke and M. Magidor, Shelah's PCF theory and its applications, Annals of Pure and Applied Logic, vol. 50 (1990), pp. 207--254.
Mathematical Reviews (MathSciNet): MR1086455
Digital Object Identifier: doi:10.1016/0168-0072(90)90057-9
Zentralblatt MATH: 0713.03024
J. Cummings, M. Foreman, and M. Magidor, Canonical structure in the universe of set theory I, Annals of Pure and Applied Logic, vol. 129 (2004), no. 1--3, pp. 211--243.
Mathematical Reviews (MathSciNet): MR2078366
Digital Object Identifier: doi:10.1016/j.apal.2004.04.002
Zentralblatt MATH: 1058.03051
--------, Canonical structure in the universe of set theory II, Annals of Pure and Applied Logic, vol. 142 (2006), no. 1--3, pp. 55--75.
Mathematical Reviews (MathSciNet): MR2250537
Digital Object Identifier: doi:10.1016/j.apal.2005.11.007
Zentralblatt MATH: 1096.03060
H. D. Donder, R. B. Jensen, and L. J. Stanley, Condensation-coherent global square systems, Proceedings of the Symposium in Pure Mathematics (A. Nerode and R. A. Shore, editors), Recursion Theory, vol. 42, American Mathematical Society, Providence, 1985, pp. 237--258.
Mathematical Reviews (MathSciNet): MR791061
Zentralblatt MATH: 0594.03029
P. Erdős, A. Hajnal, A. Máté, and R. Rado, Combinatorial set theory: Partition relations for cardinals, Studies in Logic and the Foundations of Mathematics, vol. 76, North-Holland, Amsterdam, 1984.
Mathematical Reviews (MathSciNet): MR795592
M. Foreman and M. Magidor, Large cardinals and definable counterexamples to the continuum hypothesis, Annals of Pure and Applied Logic, vol. 76 (1995), pp. 47--97.
Mathematical Reviews (MathSciNet): MR1359154
Digital Object Identifier: doi:10.1016/0168-0072(94)00031-W
Zentralblatt MATH: 0837.03040
F. Galvin, T. Jech, and M. Magidor, An ideal game, Journal of Symbolic Logic, vol. 43 (1978), pp. 284--292.
Mathematical Reviews (MathSciNet): MR485391
Digital Object Identifier: doi:10.2307/2272827
Project Euclid: euclid.jsl/1183740205
Zentralblatt MATH: 0397.03036
M. Gitik, On a question of Pereira, to be submitted.
M. Gitik and M. Magidor, The singular cardinals problem revisited, Set Theory of the Continuum (H. Judah, W. Just, and H. Woodin, editors), Springer--Verlag, Berlin, 1992, pp. 243--279.
Mathematical Reviews (MathSciNet): MR1233822
Zentralblatt MATH: 0788.03066
--------, Extender based forcings, Journal of Symbolic Logic, vol. 59 (1994), pp. 445--460.
Mathematical Reviews (MathSciNet): MR1276624
Digital Object Identifier: doi:10.2307/2275399
Project Euclid: euclid.jsl/1183744489
Zentralblatt MATH: 0820.03032
J. D. Hamkins, Fragile measurability, Journal of Symbolic Logic, vol. 59 (1994), pp. 262--282.
Mathematical Reviews (MathSciNet): MR1264978
Digital Object Identifier: doi:10.2307/2275264
Project Euclid: euclid.jsl/1183744448
Zentralblatt MATH: 0796.03054
M. Holz, K. Steffens, and E. Weitz, Introduction to cardinal arithmetic, Advanced Texts, Birkhäuser--Verlag, Basel, 1999.
Mathematical Reviews (MathSciNet): MR1714413
Zentralblatt MATH: 0930.03053
T. Jech, On the cofinality of countable products of cardinal numbers, (A. Baker, B. Bollobás, and A. Hajnal, editors), Cambridge University Press, 1990, A tribute to Paul Erdös, pp. 289--305.
Mathematical Reviews (MathSciNet): MR1117020
Zentralblatt MATH: 0711.03020
--------, Set theory, the third millenium edition ed., Springer Monographs in Mathematics, Springer--Verlag, Berlin, 2003.
Mathematical Reviews (MathSciNet): MR1940513
Zentralblatt MATH: 1007.03002
A. Kanamori, The higher infinite. Large cardinals in set theory from their beginnings, Perspectives in Mathematical Logic, Springer--Verlag, Berlin, 1997.
Mathematical Reviews (MathSciNet): MR1321144
Zentralblatt MATH: 0813.03034
P. Koepke, The consistency strength of the free-subset property for $\aleph_\omega$, Journal of Symbolic Logic, vol. 49 (1984), pp. 1198--1204.
Mathematical Reviews (MathSciNet): MR771788
Digital Object Identifier: doi:10.2307/2274272
Project Euclid: euclid.jsl/1183741699
Zentralblatt MATH: 0592.03042
P. Koszmider, Semimorasses and nonreflection at singular cardinals, Annals of Pure and Applied Logic, vol. 72 (1995), pp. 1--23.
Mathematical Reviews (MathSciNet): MR1320107
Digital Object Identifier: doi:10.1016/0168-0072(93)E0068-Y
Zentralblatt MATH: 0843.03025
K. Kunen, Elementary embeddings and infinitary combinatorics, Journal of Symbolic Logic, vol. 36 (1971), pp. 407--413.
Mathematical Reviews (MathSciNet): MR311478
Digital Object Identifier: doi:10.2307/2269948
Project Euclid: euclid.jsl/1183737750
R. Laver, Making the supercompactness of $\kappa$ indestructible under $\kappa$-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385--388.
Mathematical Reviews (MathSciNet): MR472529
Digital Object Identifier: doi:10.1007/BF02761175
Zentralblatt MATH: 0381.03039
M. Magidor, On the singular cardinals problem I, Israel Journal of Mathematics, vol. 28 (1977), pp. 1--31.
Mathematical Reviews (MathSciNet): MR491183
Digital Object Identifier: doi:10.1007/BF02759779
Zentralblatt MATH: 0364.02040
T. Menas, Consistency results concerning supercompactness, Transactions of the American Mathematical Society, vol. 223 (1976), pp. 61--91.
Mathematical Reviews (MathSciNet): MR540771
Digital Object Identifier: doi:10.2307/1997517
Zentralblatt MATH: 0348.02046
H. Mildenberger, More canonical forms and dense free subsets, Annals of Pure and Applied Logic, vol. 125 (2004), pp. 75--99.
Mathematical Reviews (MathSciNet): MR2033419
Digital Object Identifier: doi:10.1016/j.apal.2003.10.001
Zentralblatt MATH: 1046.03026
L. Pereira, Combinatoire des cardinaux singuliers et structures PCF, Ph.D. thesis, University of Paris VII, Paris, Septembe r2007.
J. Ruyle, Cardinal sequences of PCF structures, Ph.D. thesis, University of California, Riverside, Septembe r1998.
S. Shelah, Independence of strong partition relation for small cardinals and the free-subset problem, Journal of Symbolic Logic, vol. 45 (1980), pp. 505--509.
Mathematical Reviews (MathSciNet): MR583369
Digital Object Identifier: doi:10.2307/2273418
Project Euclid: euclid.jsl/1183740616
Zentralblatt MATH: 0453.03052
--------, $\aleph _\omega $ may have a strong partition relation, Israel Journal of Mathematics, vol. 38 (1981), pp. 283--288.
Mathematical Reviews (MathSciNet): MR617675
Digital Object Identifier: doi:10.1007/BF02762774
Zentralblatt MATH: 0467.03050
--------, The singular cardinals problem; independence results, Surveys in Set Theory (A. R. D. Mathias, editor), London Mathematical Society Lecture Note Series, vol. 87, Cambridge University Press, Cambridge, 1983, pp. 116--134.
Mathematical Reviews (MathSciNet): MR823777
Zentralblatt MATH: 0526.03032
--------, Cardinal arithmetic, Oxford Logic Guides 29, Clarendon Press, Oxford, 1994.
Mathematical Reviews (MathSciNet): MR1318912
Zentralblatt MATH: 0848.03025
--------, Large normal ideals concentrating on a fixed small cardinality, Archive for Mathematical Logic, vol. 35 (1996), pp. 341--347.
Mathematical Reviews (MathSciNet): MR1420262
Digital Object Identifier: doi:10.1007/s001530050049
Zentralblatt MATH: 0874.03061
--------, PCF and infinite free subsets in an algebra, Archive for Mathematical Logic, vol. 41 (2002), pp. 321--359.
Mathematical Reviews (MathSciNet): MR1906504
Digital Object Identifier: doi:10.1007/s001530100101
Zentralblatt MATH: 1049.03034
