Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418)
From MaRDI portal
scientific article; zbMATH DE number 7211082
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicatively unprovable termination of the Ackermannian Goodstein process |
scientific article; zbMATH DE number 7211082 |
Statements
Predicatively unprovable termination of the Ackermannian Goodstein process (English)
0 references
11 June 2020
0 references
0 references
0 references
0 references
