GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (Q4600818)
From MaRDI portal
scientific article; zbMATH DE number 6826843
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC |
scientific article; zbMATH DE number 6826843 |
Statements
GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (English)
0 references
17 January 2018
0 references
Gödel's incompleteness theorems
0 references
\(\Sigma_n\)-definable theories
0 references
0 references
0 references
