Solovay's theorem cannot be simplified (Q5945397)
From MaRDI portal
scientific article; zbMATH DE number 1656620
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solovay's theorem cannot be simplified |
scientific article; zbMATH DE number 1656620 |
Statements
Solovay's theorem cannot be simplified (English)
0 references
24 January 2002
0 references
Solovay family
0 references
independent sentence
0 references
nonstandard models of arithmetic
0 references
completions of Peano arithmetic
0 references
Scott sets
0 references
independence results
0 references
