Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic (Q4600818)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6826843
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-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
0.8583787679672241
0 references
0.8229747414588928
0 references
0.7543587684631348
0 references
0.7521895170211792
0 references
0.7457456588745117
0 references
