Combinatorial characterization of $\Pi^11$ -indescribability in $P{\kappa}\lambda$

Archive for Mathematical Logic 37 (4):261-272 (1998)

Abstract
It is proved that $\Pi^1_1$ -indescribability in $P_{\kappa}\lambda$ can be characterized by combinatorial properties without taking care of cofinality of $\lambda$ . We extend Carr's theorem proving that the hypothesis $\kappa$ is $2^{\lambda^{<\kappa}}$ -Shelah is rather stronger than $\kappa$ is $\lambda$ -supercompact
Keywords Legacy
Categories (categorize this paper)
DOI 10.1007/s001530050097
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,434
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Two-Cardinal Diamond Star.Pierre Matet - 2014 - Mathematical Logic Quarterly 60 (4-5):246-265.
Notes on Subtlety and Ineffability in P Κ Λ.Yoshihiro Abe - 2005 - Archive for Mathematical Logic 44 (5):619-631.
The Wi‐Club Filter On.Grace Piper - 2009 - Mathematical Logic Quarterly 55 (5):562-568.

Add more citations

Similar books and articles

Undefinability of $Kappa$-Well-Orderings in $L_{Inftykappa}$.Juha Oikkonen - 1997 - Journal of Symbolic Logic 62 (3):999-1020.
Weakly Normal Closures of Filters on $P_kappa Lambda$.Masahiro Shioya - 1993 - Journal of Symbolic Logic 58 (1):55-63.
A Gitik Iteration with Nearly Easton Factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Normality and $\Mathscr{P}(\Kappa)/\Mathscr{J}$.R. Zrotowski - 1991 - Journal of Symbolic Logic 56 (3):1064-1067.
Decomposable Ultrafilters and Possible Cofinalities.Paolo Lipparini - 2008 - Notre Dame Journal of Formal Logic 49 (3):307-312.
Weak Square Bracket Relations for P Κ (Λ).Pierre Matet - 2008 - Journal of Symbolic Logic 73 (3):729-751.
A Hierarchy of Filters Smaller Than CF_\ Kappa\ Lambda-->.Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (6):385-397.
Splitting $P_kappalambda$ Into Stationary Subsets.Yo Matsubara - 1988 - Journal of Symbolic Logic 53 (2):385-389.
On Completeness of the Quotient Algebras {Cal P}(Kappa)/I.Yasuo Kanai - 2000 - Archive for Mathematical Logic 39 (2):75-87.

Analytics

Added to PP index
2013-11-23

Total views
20 ( #451,889 of 2,280,287 )

Recent downloads (6 months)
4 ( #309,960 of 2,280,287 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature