WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496)
From MaRDI portal
scientific article; zbMATH DE number 7415222
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY |
scientific article; zbMATH DE number 7415222 |
Statements
WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (English)
0 references
27 October 2021
0 references
well ordering principles
0 references
reverse mathematics
0 references
\(\Pi^1_4\)-statements
0 references
dilators
0 references
ptykes
0 references
\( \Pi^1_2\)-induction
0 references
