(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557)

From MaRDI portal
scientific article; zbMATH DE number 7827890
Language Label Description Also known as
English
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
scientific article; zbMATH DE number 7827890

    Statements

    (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    5 April 2024
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    computability theory
    0 references
    recursion theory
    0 references
    reverse mathematics
    0 references
    second-order arithmetic
    0 references
    Ramsey theory
    0 references
    partial orders
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references