Abstract
An example of arithmetic sentence which is deducible in intuitionistic predicate calculus with identity but is not strictly primitive recursively realizable by Z. Damnjanovic is proposed. It is shown also that the notions of primitive recursive realizability by Z. Damnjanovic and by S. Salehi are essentially different.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Axt, P.: Enumeration and the Grzegorczyk hierarchy. Z. math. Logik und Grundl. Math. 9, 53–65 (1963)
Damnjanovic, Z.: Strictly primitive recursive realizability. I. J. Symbol. Log. 59, 1210–1227 (1994)
Grzegorczyk, A.: Some classes of recursive functions. Rozprawy matematyczne 4, 1–46 (1953)
Kleene, S.C.: On the interpretation of intuitionistic number theory. J. Symbol. Log. 10, 109–124 (1945)
Kleene, S.C.: Extension of an effectively generated class of functions by enumeration. Colloquium Mathematicum 6, 67–78 (1958)
Plisko, V.E.: On the relation between two notions of primitive recursive realizability. Vestnik Moskovskogo Universiteta. Ser. 1. Matematika. Mekhanika, N 1, 6–11 (2006)
Salehi, S.: A generalized realizability for constructive arithmetic. Bull. Symbol. Log. 7, 147–148 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plisko, V. (2006). On Primitive Recursive Realizabilities. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds) Computer Science – Theory and Applications. CSR 2006. Lecture Notes in Computer Science, vol 3967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11753728_31
Download citation
DOI: https://doi.org/10.1007/11753728_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34166-6
Online ISBN: 978-3-540-34168-0
eBook Packages: Computer ScienceComputer Science (R0)