AD and the supercompactness of ℵ<sub>1</sub> (Q3962994): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2273231 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2043122368 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Successive large cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strong axioms of infinity and elementary embeddings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Descriptive set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Measure and category in effective descriptive set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The axiom of determinateness and reduction principles in the analytical hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some combinatorial problems concerning uncountable cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Thin collections of sets of projective ordinals and analogs of L / rank
 
Normal rank

Latest revision as of 16:18, 13 June 2024

scientific article
Language Label Description Also known as
English
AD and the supercompactness of ℵ<sub>1</sub>
scientific article

    Statements

    AD and the supercompactness of ℵ<sub>1</sub> (English)
    0 references
    0 references
    1981
    0 references
    ZF+dependent choice+axiom of determinacy
    0 references
    ultrafilter
    0 references
    projective ordinals
    0 references
    closed unbounded filter
    0 references
    analytical hierarchy
    0 references
    length of ultrapowers of ordinals
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references