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
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