Abstract
Inspired from a joint work by A. Beckmann, S. Buss and S. Friedman, we propose a class of set-theoretic functions, predicatively computable set functions. Each function in this class is polynomial time computable when we restrict to finite binary strings.
Similar content being viewed by others
References
Arai T., Moser G.: Proofs of Termination of Rewrite Systems for Polytime Functions. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005: Foundations of software technology and theoretical computer science, pp.529–540. Lecture Notes in Compt. Sci. vol. 3821, Springer, Berlin (2005)
Beckmann, A., Buss, S.R., Friedman, S.-D.: Safe recursive set functions (submitted)
Bellantoni S., Cook S.: A new recursion-theoretic characterization of the polytime functions. Comput. Complex. 2, 97–110 (1992)
Jensen R.: The fine structure of the constructible hierarchy. Ann. Math. Logic 4, 229–308 (1972)
Jensen, R., Karp, C.: Primitive recursive set functions. In: Scott, D. (ed.) Axiomatic Set Theory, pp. 143–176. Proceedings of Symposia in Pure Mathematics, vol. 13, Part I, American Mathematical Society, Providence, RI (1971)
Dal Lago, U., Martini, S., Zorzi, M.: General ramified recurrence is sound for polynomial time. In: Baillot, P. (ed.) Workshop on Developments in Implicit Complexity (DICE2010), pp. 47–62. EPTCS 23 (2010)
Leivant, D.: Stratified functional programs and computational complexity. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 325–333. ACM (1993)
Plump, D.: Term graph rewriting. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2, ch. 1, pp. 3–61. World Scientific, Singapore s(1999)
Rathjen M.: A proof-theoretic characterization of the primitive recursive set functions. J. Symb. Logic 57, 954–969 (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Arai, T. Predicatively computable functions on sets. Arch. Math. Logic 54, 471–485 (2015). https://doi.org/10.1007/s00153-015-0422-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-015-0422-2