No label defined (Q4793037)
From MaRDI portal
scientific article; zbMATH DE number 1870425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1870425 |
Statements
18 February 2003
0 references
explicit mathematics
0 references
monotone fixed point principle
0 references
proof-theoretic strength
0 references
monotone inductive definition
0 references
