Skip to main content

Lifschitz' realizability

  • Jaap van Oosten (a1)

V. Lifschitz defined in 1979 a variant of realizability which validates Church's thesis with uniqueness condition, but not the general form of Church's thesis. In this paper we describe an extension of intuitionistic arithmetic in which the soundness of Lifschitz' realizability can be proved, and we give an axiomatic characterization of the Lifschitz-realizable formulas relative to this extension. By a “q-variant” we obtain a new derived rule. We also show how to extend Lifschitz' realizability to second-order arithmetic. Finally we describe an analogous development for elementary analysis, with partial continuous application replacing partial recursive application.

Hide All
Dragalin, A. G. [1979], Mathematical intuitionisnu introduction to proof theory, “Nauka”, Moscow; English translation, American Mathematical Society, Providence, Rhode Island, 1988.
Hyland, J. M. E. [1982], The effective topos, The L.E.J. Brouwer centenary symposium (Troelstra, A. S. and van Dalen, D., editors), North-Holland, Amsterdam, pp. 165216.
Kleene, S. C. [1969], Formalized recursive functionals and formalized realizability, Memoirs of the American Mathematical Society, no. 89 (1969).
Kleene, S. C. and Vesley, R. E. [1965], The foundations of intuitionistic mathematics, North-Holland, Amsterdam.
Lifschitz, V. [1979], CT0is stronger than CT0!, Proceedings of the American Mathematical Society, vol. 73, pp. 101106.
Troelstra, A. S. (editor) [1973], Metamathematical investigation of intuitionistic arithmetic and analysis, Lectures Notes in Mathematics, vol. 344, Springer-Verlag, Berlin.
Troelstra, A. S. and van Dalen, D. [1988], Constructivism in mathematics, North-Holland, Amsterdam.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 3 *
Loading metrics...

Abstract views

Total abstract views: 56 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 19th August 2018. This data will be updated every 24 hours.