Chris Pollett

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Arithmetics within the Linear Time Hierarchy (available as arXiv preprint)	2025-01-01	Paper
On the finite axiomatizability of \(\forall\hat{\Sigma}^{\mathrm{b}}_1 (\hat{\mathsf{R}}^1_2)\) Mathematical Logic Quarterly	2020-05-11	Paper
Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) Archive for Mathematical Logic	2011-05-11	Paper
Circuit principles and weak pigeonhole variants Theoretical Computer Science	2007-09-19	Paper
The weak pigeonhole principle for function classes inS12 MLQ	2007-02-02	Paper
Languages to diagonalize against advice classes Computational Complexity	2006-11-17	Paper
A theory for Log-Space and NLIN versus co-NLIN Journal of Symbolic Logic	2005-02-09	Paper
A theory for Log-Space and NLIN versus co-NLIN Journal of Symbolic Logic	2005-02-09	Paper
Minimization and \(\mathbf{NP}\) multifunctions Theoretical Computer Science	2004-08-06	Paper
On the bounded version of Hilbert's tenth problem Archive for Mathematical Logic	2003-09-16	Paper
Ordinal notations and well-orderings in bounded arithmetic Annals of Pure and Applied Logic	2003-03-16	Paper
Strengths and Weaknesses of LH Arithmetic	2002-07-24	Paper
scientific article; zbMATH DE number 1420845 (Why is no real title available?)	2002-07-14	Paper
Multifunction algebras and the provability of PH Annals of Pure and Applied Logic	2001-05-02	Paper
scientific article; zbMATH DE number 1463092 (Why is no real title available?)	2001-02-05	Paper
Structure and definability in general bounded arithmetic theories Annals of Pure and Applied Logic	2000-05-09	Paper
scientific article; zbMATH DE number 1114027 (Why is no real title available?)	1998-06-24	Paper

Research outcomes over time

This page was built for person: Chris Pollett