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