Complete, Recursively Enumerable Relations in Arithmetic (Q4323833)
From MaRDI portal
scientific article; zbMATH DE number 724872
Language | Label | Description | Also known as |
---|---|---|---|
English | Complete, Recursively Enumerable Relations in Arithmetic |
scientific article; zbMATH DE number 724872 |
Statements
Complete, Recursively Enumerable Relations in Arithmetic (English)
0 references
20 February 1995
0 references
provability predicate
0 references
Peano arithmetic
0 references
recursively enumerable relations
0 references
strict partial orders
0 references
representations
0 references