How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals (Q4304798)
From MaRDI portal
scientific article; zbMATH DE number 627584
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals |
scientific article; zbMATH DE number 627584 |
Statements
How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals (English)
0 references
3 January 1995
0 references
proof theory
0 references
ordinal representation system
0 references
collapsing functions
0 references
admissible ordinals
0 references
