No escape from Vardanyan's theorem (Q2501168)
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 5051262
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No escape from Vardanyan's theorem |
scientific article; zbMATH DE number 5051262 |
Statements
No escape from Vardanyan's theorem (English)
0 references
4 September 2006
0 references
predicate provability logic
0 references
0.6762664318084717
0 references
0.6746635437011719
0 references
0.67198646068573
0 references
0.6705719828605652
0 references
0.6615570783615112
0 references
