Notes on Polynomially Bounded Arithmetic

@article{Zambella1995NotesOP,
  title={Notes on Polynomially Bounded Arithmetic},
  author={Domenico Zambella},
  journal={J. Symb. Log.},
  year={1995},
  volume={61},
  pages={942-966}
}
We characterize the collapse of Buss' bounded arithmetic in terms of the provable collapse of the polynomial time hierarchy. We include also some general model-theoretical investigations on fragments of bounded arithmetic. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 75 CITATIONS, ESTIMATED 98% COVERAGE

The Weak Pigeonhole Principle in Models ofBounded

ArithmeticNeil, ThapenMerton
  • 2013
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

On theories of bounded arithmetic for NC1

  • Ann. Pure Appl. Logic
  • 2011
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

The strength of extensionality II - Weak weak set theories without infinity

  • Ann. Pure Appl. Logic
  • 2011
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Quantified propositional calculus and a second-order theory for NC1

  • Arch. Math. Log.
  • 2005
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A second-order system for polytime reasoning based on Grädel's theorem

  • Ann. Pure Appl. Logic
  • 2003
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Modéles en arithmétique Bornée

VIEW 10 EXCERPTS
CITES RESULTS, METHODS & BACKGROUND
HIGHLY INFLUENCED

Expressing versus Proving: Relating Forms of Complexity in Logic

  • J. Log. Comput.
  • 2012
VIEW 13 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A tight Karp-Lipton collapse result in bounded arithmetic

  • ACM Trans. Comput. Log.
  • 2010
VIEW 1 EXCERPT
CITES METHODS
HIGHLY INFLUENCED

The polynomial and linear time hierarchies in V0

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Generalized quantifier and a bounded arithmetic theory for LOGCFL

  • Arch. Math. Log.
  • 2007
VIEW 2 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1994
2018

CITATION STATISTICS

  • 13 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Quanti er-free and one-quanti er systems

G. E. Mints
  • In: Yu. V. Matijasevich and A. O. Silisenko ed., Zapiski Nauchnykh Seminarov 20, (1971), 115-133. (In Russian. English translation: Journal of Soviet Mathematics 1,
  • 1973
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Kraj c ek (ed.). Arithmetic, Proofs Theory and Com- putational Complexity

G. Takeuti
  • 1993

Pudl ak, Metamathematics of First-order Arithmetic

P. P. H ajek
  • 1993
VIEW 2 EXCERPTS

Bounded arithmetic

S. R. Buss
  • Bibliopolis, Naples,
  • 1986
VIEW 2 EXCERPTS