The shortest definition of a number in Peano arithmetic (Q4798206)
From MaRDI portal
scientific article; zbMATH DE number 1884766
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The shortest definition of a number in Peano arithmetic |
scientific article; zbMATH DE number 1884766 |
Statements
The shortest definition of a number in Peano arithmetic (English)
0 references
19 March 2003
0 references
recursive function
0 references
1-complete
0 references
Peano arithmetic
0 references
