Solovay's theorem cannot be simplified (Q5945397)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Solovay's theorem cannot be simplified |
scientific article; zbMATH DE number 1656620
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.741197407245636
0 references
0.7371223568916321
0 references
0.7304292917251587
0 references
0.7240771651268005
0 references