Incompleteness of arithmetic from the viewpoint of Diophantine set theory (Q6066029)
From MaRDI portal
scientific article; zbMATH DE number 7765730
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incompleteness of arithmetic from the viewpoint of Diophantine set theory |
scientific article; zbMATH DE number 7765730 |
Statements
Incompleteness of arithmetic from the viewpoint of Diophantine set theory (English)
0 references
15 November 2023
0 references
Diophantine set
0 references
recursively enumerable sets
0 references
incompleteness of arithmetic
0 references
