Induction on dilators and Bachmann-Howard fixed points (Q7229182)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 8186687
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Induction on dilators and Bachmann-Howard fixed points |
scientific article; zbMATH DE number 8186687 |
Statements
Induction on dilators and Bachmann-Howard fixed points (English)
0 references
15 April 2026
0 references
induction on dilators
0 references
Bachmann-Howard fixed points
0 references
well-ordering principles
0 references
\(\Pi_1^1\)-comprehension
0 references
reverse mathematics
0 references
0 references
