On the bounded version of Hilbert's tenth problem

Archive for Mathematical Logic 42 (5):469-488 (2003)
  Copy   BIBTEX

Abstract

The paper establishes lower bounds on the provability of

Categories

Keywords

Reprint years

DOI

10.1007/s00153-002-0162-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Story of Hilbert’s Tenth Problem.Laura Morales Guerrero - 2016 - In Alberto Policriti & Eugenio Omodeo (eds.), Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Cham, Switzerland: Springer Verlag.
Martin Davis and Hilbert’s Tenth Problem.Yuri Matiyasevich - 2016 - In Alberto Policriti & Eugenio Omodeo (eds.), Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Cham, Switzerland: Springer Verlag.
The decision problem of provability logic with only one atom.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (8):763-768.
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.
Existential definability with bounds on archimedean valuations.Alexandra Shlapentokh - 2003 - Journal of Symbolic Logic 68 (3):860-878.
Extensions of Hilbert's tenth problem.Thanases Pheidas - 1994 - Journal of Symbolic Logic 59 (2):372-397.
Reductions of Hilbert's tenth problem.Martin Davis & Hilary Putnam - 1958 - Journal of Symbolic Logic 23 (2):183-187.
Circuit lower bounds in bounded arithmetics.Ján Pich - 2015 - Annals of Pure and Applied Logic 166 (1):29-45.
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds.Jan Kraj�?Ek - 2004 - Journal of Symbolic Logic 69 (1):265-286.
Über Hilbert's Reale Und Ideale Elemente.Horst Luckhardt - 1975 - Archive for Mathematical Logic 17 (1-2):61-70.

Analytics

Added to PP
2013-11-23

Downloads
41 (#399,974)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The weak pigeonhole principle for function classes in S12.Norman Danner & Chris Pollett - 2006 - Mathematical Logic Quarterly 52 (6):575-584.

Add more citations

References found in this work

No references found.

Add more references