Some diophantine forms of gödel's theorem (Q3956938)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some diophantine forms of gödel's theorem |
scientific article |
Statements
Some diophantine forms of gödel's theorem (English)
0 references
1982
0 references
omega-consistency
0 references
Goedel's incompleteness theorem
0 references
Matijasevich's diophantine representation of recursively enumerable sets
0 references
undecidable diophantine sentences
0 references
Robinson's system Q
0 references
formally decidable diophantine sentences
0 references
almost-diophantine sentences
0 references
