Search results

fragments of bounded arithmetic 2007-02-14 Paper On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories...

provably total search problems of bounded arithmetic 2011-07-27 Paper Third-Order Computation and Bounded Arithmetic 2008-02-07 Paper NP search problems...

result in Linearly Bounded Arithmetic 2005-04-07 Paper Preservation theorems and restricted consistency statements in bounded arithmetic 2004-08-06 Paper...

2012-06-01 Paper On theories of bounded arithmetic for \(\mathrm{NC}^1\) 2011-09-12 Paper A sorting network in bounded arithmetic 2011-09-12 Paper Bases of Admissible...

Type Lifting independence results in bounded arithmetic 1999-11-15 Paper Witnessing functions in bounded arithmetic and search problems 1999-08-19 Paper...

and maxima, Nash equilibria and bounded arithmetic 2012-03-13 Paper Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem...

for Intuitionistic Bounded Arithmetic 2006-07-03 Paper Polynomial induction and length minimization in intuitionistic bounded arithmetic 2005-02-16 Paper...

Separations of first and second order theories in bounded arithmetic 2005-09-13 Paper Forcing on bounded arithmetic II 1999-08-31 Paper https://portal.mardi4nfdi...

and Conservation Results in Bounded Arithmetic 2009-03-02 Paper On Rules and Parameter Free Systems in Bounded Arithmetic 2007-11-13 Paper A note on Σ1-maximal...

and Conservation Results in Bounded Arithmetic 2009-03-02 Paper On Rules and Parameter Free Systems in Bounded Arithmetic 2007-11-13 Paper A note on Σ1-maximal...

hierarchy in models for fragments of bounded arithmetic 2007-02-14 Paper Well-behaved principles alternative to bounded induction 2004-10-27 Paper An application...

lines and speedup for arithmetics 1994-11-27 Paper An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic 1994-10-09 Paper https://portal...

2016-04-29 Paper UNIFORMLY BOUNDED COMPOSITION OPERATORS 2015-12-18 Paper UNIFORMLY BOUNDED COMPOSITION OPERATORS ON A BANACH SPACE OF BOUNDED WIENER-YOUNG VARIATION...

2011-02-18 Paper Limiting Negations in Bounded Treewidth and Upward Planar Circuits 2010-09-03 Paper Balancing Bounded Treewidth Circuits 2010-06-22 Paper...

Complexity to Separation Problems in Bounded Arithmetic 1994-10-09 Paper Fragments of Bounded Arithmetic and Bounded Query Classes 1994-05-23 Paper https://portal...

de/entity/Q3333117 1984-01-01 Paper Arithmetic and Structure of Automorphic Forms on Bounded Symmetric Domains 1983-01-01 Paper Arithmetic and Structure of Automorphic...

and Conservation Results in Bounded Arithmetic 2009-03-02 Paper On Rules and Parameter Free Systems in Bounded Arithmetic 2007-11-13 Paper A note on Σ1-maximal...

Homothetic Copies of {1, 1 + s, 1 + s + t} 1998-01-19 Paper Arithmetic progressions in sequences with bounded gaps 1997-11-11 Paper The Ramsey property for collections...

groups into simple pieces 2011-01-17 Paper On the bounded cohomology of semi-simple groups, S-arithmetic groups and products 2010-04-22 Paper Isometry groups...

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...