Some diophantine forms of gödel's theorem (Q3956938): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4132480 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4161318 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The decision problem for exponential diophantine equations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Three universal representations of recursively enumerable sets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5648353 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5341750 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Undecidable theories / rank | |||
Normal rank | |||
Revision as of 16:48, 13 June 2024
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
