Switch to: Citations

References in:

Δ0-complexity of the relation y = Πi ⩽ nF

Alessandro Berarducci & Paola D'Aquino

Annals of Pure and Applied Logic 75 (1-2):49-56 (1995)

Add references

You must login to add references.

Local Behaviour of the Chebyshev Theorem in Models of $I\Delta_0$.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12-27.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 10 citations
On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 96 citations
Provability of the pigeonhole principle and the existence of infinitely many primes.J. B. Paris, A. J. Wilkie & A. R. Woods - 1988 - Journal of Symbolic Logic 53 (4):1235-1244.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (9 more) Export citation Bookmark 28 citations
Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 11 citations

1