A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic (Q4809578)
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: A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic |
scientific article; zbMATH DE number 2095508
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic |
scientific article; zbMATH DE number 2095508 |
Statements
A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic (English)
0 references
30 August 2004
0 references
provability logic
0 references
general expressibility problem
0 references
Gödel-Löb logic
0 references
algorithmic undecidability
0 references
functional expressibility
0 references
0.9231957
0 references
0.88650864
0 references
0.8807693
0 references
0.8779916
0 references
0 references
0.8712038
0 references
0.8712038
0 references
