Interpretability and Definability in the Recursively Enumerable Degrees (Q3839947)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpretability and Definability in the Recursively Enumerable Degrees |
scientific article |
Statements
Interpretability and Definability in the Recursively Enumerable Degrees (English)
0 references
11 August 1998
0 references
recursively enumerable degrees
0 references
r.e.\ degrees
0 references
jump classes
0 references
homogeneity failures
0 references
definability
0 references
bi-interpretability
0 references
true arithmetic
0 references
