On the complexity of Gödel's proof predicate (Q5190198): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4945215 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Almost every set in exponential time is P-bi-immune / rank | |||
Normal rank |
Latest revision as of 13:53, 2 July 2024
scientific article; zbMATH DE number 5681301
Language | Label | Description | Also known as |
---|---|---|---|
English | On the complexity of Gödel's proof predicate |
scientific article; zbMATH DE number 5681301 |
Statements
On the complexity of Gödel's proof predicate (English)
0 references
15 March 2010
0 references
proof length
0 references
parametrized Gödel problem
0 references
fixed-parameter tractable
0 references
parametrized complexity theory
0 references