The definable tree property for successors of cardinals (Q506976): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iterated Forcing and Elementary Embeddings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The tree property / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homogeneous iteration and measure one covering relative to HOD / rank
 
Normal rank
Property / cites work
 
Property / cites work: The consistency strength of successive cardinals with the tree property / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiple Forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the consistency of the Definable Tree Property on ℵ<sub>1</sub> / rank
 
Normal rank
Property / cites work
 
Property / cites work: The tree property at successors of singular cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Supercompact extender based Prikry forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS / rank
 
Normal rank
Property / cites work
 
Property / cites work: The tree property at ℵ<sub><i>ω</i>+1</sub> / rank
 
Normal rank
Property / cites work
 
Property / cites work: The self-iterability of <i>L</i>[<i>E</i>] / rank
 
Normal rank

Latest revision as of 08:36, 13 July 2024

scientific article
Language Label Description Also known as
English
The definable tree property for successors of cardinals
scientific article

    Statements

    The definable tree property for successors of cardinals (English)
    0 references
    0 references
    0 references
    2 February 2017
    0 references
    Aronszajn tree
    0 references
    definable tree property
    0 references
    \(\varPi ^{1}_1\)-reflecting cardinal
    0 references
    Easton reverse iteration
    0 references
    extender based Prikry forcing
    0 references

    Identifiers

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