Some observations on the FGH theorem (Q6057622)
From MaRDI portal
scientific article; zbMATH DE number 7755333
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some observations on the FGH theorem |
scientific article; zbMATH DE number 7755333 |
Statements
Some observations on the FGH theorem (English)
0 references
26 October 2023
0 references
FGH theorem
0 references
weak representability of c.e. sets
0 references
incompleteness theorem
0 references
provability logic
0 references
Rosser provability predicates
0 references
