No label defined (Q5691043)
From MaRDI portal
scientific article; zbMATH DE number 963569
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 963569 |
Statements
9 January 1997
0 references
semi-formal systems
0 references
exponentiation
0 references
well-ordering
0 references
predicative boundedness theorem
0 references
dynamic ordinal analysis
0 references
reasoning about finite structures
0 references
formal theories of bounded arithmetic
0 references
first-order arithmetic
0 references
subsystems
0 references
bounded predicative arithmetic
0 references
