The weak pigeonhole principle for function classes inS12
From MaRDI portal
Publication:3418087
DOI10.1002/malq.200610015zbMath1110.03054OpenAlexW2028894972MaRDI QIDQ3418087
Publication date: 2 February 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610015
First-order arithmetic and fragments (03F30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Recursive functions and relations, subrecursive hierarchies (03D20) Complexity of proofs (03F20)
Cites Work
This page was built for publication: The weak pigeonhole principle for function classes inS12