Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904)

From MaRDI portal
scientific article; zbMATH DE number 7438596
Language Label Description Also known as
English
Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
scientific article; zbMATH DE number 7438596

    Statements

    Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (English)
    0 references
    0 references
    0 references
    3 December 2021
    0 references
    reverse mathematics
    0 references
    well ordering principles
    0 references
    Schütte deduction chains
    0 references
    countable coded \(\omega \)-model
    0 references
    \( \prod_1^1 \)-comprehension
    0 references
    \( \Omega_n\)-rule
    0 references
    well-ordering proof
    0 references

    Identifiers

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