An incompleteness theorem for <i>β</i><sub><i>n</i></sub>-models (Q5311743)
From MaRDI portal
scientific article; zbMATH DE number 2199948
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An incompleteness theorem for <i>β</i><sub><i>n</i></sub>-models |
scientific article; zbMATH DE number 2199948 |
Statements
An incompleteness theorem for <i>β</i><sub><i>n</i></sub>-models (English)
0 references
29 August 2005
0 references
incompleteness
0 references
Gödel
0 references
model
0 references
second-order arithmetic
0 references
