Chris Pollett

Available identifiers

Publication	Date of Publication	Type
On the finite axiomatizability of	2020-05-11	Paper
Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\)	2011-05-11	Paper
Circuit principles and weak pigeonhole variants	2007-09-19	Paper
The weak pigeonhole principle for function classes inS12	2007-02-02	Paper
Languages to diagonalize against advice classes	2006-11-17	Paper
A theory for Log-Space and NLIN versus co-NLIN	2005-02-09	Paper
Minimization and \(\mathbf{NP}\) multifunctions	2004-08-06	Paper
On the bounded version of Hilbert's tenth problem	2003-09-16	Paper
Ordinal notations and well-orderings in bounded arithmetic	2003-03-16	Paper
Strengths and Weaknesses of LH Arithmetic	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4944913	2002-07-14	Paper
Multifunction algebras and the provability of \(PH\downarrow\)	2001-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4487252	2001-02-05	Paper
Structure and definability in general bounded arithmetic theories	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4375798	1998-06-24	Paper

This page was built for person: Chris Pollett