Abstract.
A type of subtlety for P κ λ called “strongly subtle” is introduced to show almost ineffability is consistencywise stronger than Shelah property. The following are also shown: is strongly subtle” has rather strong consequences. (ii) The ideal is not strongly subtle} is not λ-saturated , and completely ineffable ideal is not precipitous. (iii) In case that λ<κ=2λ, almost λ-ineffability coincides with λ-ineffability. (iv) It is not provable that κ is λ<κ-ineffable whenever κ is λ-ineffable.
Similar content being viewed by others
References
Abe, Y.: Saturation of fundamental ideals on Pκλ. J. Math. Soc. Japan 48, 511–524 (1996)
Abe, Y.: Combinatorial characterization of Π11-indescribability in Pκλ. Arch. Math. Logic 37, 261–272 (1998)
Baldwin, S.: The consistency strength of certain stationary subsets of Pκλ. Proc. Amer. Math. Soc. 92, 90–92 (1984)
Baumgartner, J.: Ineffability properties of cardinals 1. Infinite and finite sets (P. Erdös 60th Birthday Colloquium, Keszthely, Hungary, 1973), Colloquia Mathematica Societatis János Bolyai 10, North-Holland, Amsterdam (1975), 109–130
Carr, D.M.: The minimal normal filter on Pκλ. Proc. Amer. Math. Soc. 86, 316–320 (1982)
Carr, D.M.: The structure of ineffabilty properties of Pκλ. Acta Math. Hung. 47, 325–332 (1986)
Carr, D.M.: Pκλ-generalizations of weak compactness. Z. Math. Logik Grundlag. Math. 31, 393–401 (1985)
Carr, D.M.: Pκλ partition relations. Fund. Math. 128, 181–195 (1987)
Carr, D.M., Levinski, J.P., Pelletier, D.H.: On the existence of strongly normal ideals on Pκλ. Arch. Math. Logic 30, 59–72 (1990)
Jech, T.: Some combinatorial problems concerning uncountable cardinals. Ann. Math. Logic 5, 165–198 (1973)
Johnson, C.A.: Seminormal λ-generated ideals on Pκλ. J.Symbolic Logic 53, 92–102 (1988)
Johnson, C.A.: Some partition relations for ideals on Pκλ. Acta Math. Hung. 56, 269–282 (1990)
Kamo, S.: Remarks on Pκλ-combinatorics. Fund. Math. 145, 141–151 (1994)
Levinski, J.P.: Instances of the conjecture of Chang. Israel J. Math. 48, 225–243 (1984)
Matsubara, Y.: Menas’ conjecture and generic ultrapowers. Ann. Pure and Applied Logic 36, 225–234 (1987)
Matsubara, Y.: Splitting Pκλ into stationary subsets. J. Symbolic Logic 53, 385–389 (1988)
Menas, T.K.: On strong compactness and supercompactness. Ann. Math. Logic 7, 327–359 (1974)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by “Grant-in-Aid for Scientific research (C), The Ministry of Education, Science, Sports and Culture of Japan 09640299”, and “Japan Society for the Promotion of Science 14540142”.
The author is very grateful to the referee for his correcting many errors and helpful suggestions.
Rights and permissions
About this article
Cite this article
Abe, Y. Notes on subtlety and ineffability in P κ λ. Arch. Math. Logic 44, 619–631 (2005). https://doi.org/10.1007/s00153-004-0272-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0272-9