Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds

From MaRDI portal
Publication:5311724

DOI10.2178/jsl/1080938841zbMath1068.03048OpenAlexW1964394232MaRDI QIDQ5311724

Jan Krajíček

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1080938841




Related Items (17)



Cites Work


This page was built for publication: Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds