Phase Transitions Related to the Pigeonhole Principle
DOI10.1007/978-3-319-08019-2_13zbMath1433.03109OpenAlexW2277048056MaRDI QIDQ5175884
Andreas Weiermann, Michiel De Smet
Publication date: 25 February 2015
Published in: Language, Life, Limits (Search for Journal in Brave)
Full work available at URL: https://biblio.ugent.be/publication/4661326
"Complexity+of+computation+%28including+implicit+computational+complexity%29"&go=Go Complexity of computation (including implicit computational complexity) (03D15) "Foundations+of+classical+theories+%28including+reverse+mathematics%29"&go=Go Foundations of classical theories (including reverse mathematics) (03B30) "Recursive+functions+and+relations%2C+subrecursive+hierarchies"&go=Go Recursive functions and relations, subrecursive hierarchies (03D20) "Second-+and+higher-order+arithmetic+and+fragments"&go=Go Second- and higher-order arithmetic and fragments (03F35)
This page was built for publication: Phase Transitions Related to the Pigeonhole Principle