Open least element principle and bounded query computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1683, Issue , 1999, Pages 389-404

  Beklemishev, L D ^a  

^a STEKLOV MATHEMATICAL INSTITUTE   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

ELEMENTARY FUNCTION; FUNCTION SYMBOLS; MINIMUM OPERATOR; RECURSIONS;

COMPUTER CIRCUITS;

EID: 35048857726     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48168-0_28     Document Type: Conference Paper

References (10)

1. L.D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of Pure and Applied Logic, 85:193-242, 1997.
2. L.D. Beklemishev. A proof-theoretic analysis of collection. Archive for Mathema- tical Logic, 37:275-296, 1998.
3. S.R. Buss. Introduction to Proof Theory. In S.R. Buss, editor, Handbook of Proof Theory, pages 1-78. Elsevier, North-Holland, Amsterdam, 1998.
4. P. Clote and J. Krajíček. Open problems. In P. Clote and J. Krajıček, editors, Arithmetic, Proof Theory, and Computational Complexity, pages 1-19. Oxford Uni- versity Press, Oxford, 1993.
5. H. Gaifman and C. Dimitracopoulos. Fragments of Peano’s arithmetic and the MDRP theorem. In Logic and algorithmic (Zurich, 1980), (Monograph. Enseign. Math., 30), pages 187-206. Genève, University of Genève, 1982.
6. P. Hájek and P. Pudlák. Metamathematics of First Order Arithmetic. Springer- Verlag, Berlin, Heidelberg, New-York, 1993.
7. J. Krajíček. Bounded arithmetic, Propositional logic, and Complexity theory. Cam- bridge University Press, Cambridge, 1995.
8. L. Kristiansen. Fragments of Peano arithmetic and subrecursive degrees. Ma- nuscript, 1998.
9. C. Parsons. Hierarchies of primitive recursive functions. Zeitschrift f. math. Logik und Grundlagen d. Math., 14(4):357-376, 1968.
10. H.E. Rose. Subrecursion: Functions and Hierarchies. Clarendon Press, Oxford, 1984.