Extending ideals (Q1093631): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(5 intermediate revisions by 4 users not shown)
Property / reviewed by
 
Property / reviewed by: Neil H. Williams / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Neil H. Williams / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3037420 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof (involving Martin's axiom) of a partition relation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iterated perfect-set forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinitary compactness without strong inaccessibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4052073 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3929732 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partition relations for cardinal numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4159049 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Saturated ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set theory. An introduction to independence proofs. 2nd print / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4163209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Consistency Results Concerning Supercompactness / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a problem of Erdős, Hajnal and Rado / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proper forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3739118 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial set theory / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf02764942 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3187190384 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 08:24, 30 July 2024

scientific article
Language Label Description Also known as
English
Extending ideals
scientific article

    Statements

    Extending ideals (English)
    0 references
    0 references
    0 references
    1986
    0 references
    An ideal \({\mathcal I}\) on the set X is said to be \(\kappa\)-extendible if whenever \({\mathcal A}\) is a \(\kappa\)-size family of subsets of X, then there is a \(\sigma\)-ideal on X extending \({\mathcal I}\) which measures each A in \({\mathcal A}\) (i.e. either A or X-A is in \({\mathcal I}\). The ideal \({\mathcal I}\) is said to be (\(\kappa\),\(\lambda)\)-extendible if whenever \({\mathcal A}\) is a \(\kappa\)-size family of subsets of X there is a \(\lambda\)-size subfamily \(\bar {\mathcal A}\) of \({\mathcal A}\) and a \(\sigma\)-ideal on X extending \({\mathcal I}\) which measures each set in \(\bar {\mathcal A}\). The ideal \({\mathcal I}\) is said to be \(\lambda\)-completable if there is a \(\lambda\)-complete ideal on X which contains \({\mathcal I}.\) The first part of the paper concerns \(\kappa\)-extendibility. The main result is that \({\mathcal I}\) is \(\kappa\)-extendible if and only if \({\mathcal I}\) is \((\kappa^{\omega})^+-\) completable, unless \(\kappa\) is greater than or equal to either a weakly compact or another type of large cardinal. There are other results valid provided there are no measurable cardinals in an inner model. The second part of the paper is an extensive discussion of (\(\kappa\),\(\lambda)\)-extendibility, concentrating on the extendibility of the ideals \([\omega_ 1]^{<\omega_ 1}\) and \([2^{\omega_ 1}]^{<2^{\omega_ 1}}\).
    0 references
    extendible ideal
    0 references
    completable ideal
    0 references

    Identifiers