Abstract
In the searches for“contentwise”-interesting constructive analogs of the theorems of classical mathematics, there occur useful logical connectives occupying an intermediate position between\(\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{\exists } \) and ∃ and between
and\(\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{v} \) denotes
denotes
Two logical connectives of this types, suggested by the theory of limitedly computable (semicomputable) functions and defined in terms of the basic logical connectives of constructive logic, viz., the quantifier\(\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\rightarrow}$}}{\exists } \) of limiting realizability and the quantifier\(\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\rightarrow}$}}{v} \) of limiting disjunction, are introduced into consideration in the article. A number of properties are established for these logical connectives.
Similar content being viewed by others
Literature cited
N. A. Shanin, “On a hierarchy of methods of interpreting propositions in constructive mathematics,” Tr. Mat. Inst. Akad. Nauk SSSR,129, 203–266 (1973).
I. D. Zaslavskii, “On Shannon's pseudofunctions,” Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Akad. Nauk SSSR,16, 65–76 (1969).
S. C. Kleene, Introduction to Metamathematics, D. van Nostrand, New York (1952).
G. E. Mints, “Transfinite unfoldings of arithmetic formulas,” Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Akad. Nauk SSSR,49, 51–66 (1975).
E. M. Gold, “Limiting recursion,” J. Symbol. Logic,30, No. 1, 28–48 (1965).
H. Putnam, “Trial and error predicates and the solution to a problem of Mostowski,” J. Symbol. Logic,30, No. 1, 49–57 (1965).
R. V. Freivald, “Limitedly computable functions and functionals,” Uch. Zap. Latviisk. Gos. Univ.,210, 6–19 (1974).
N. A. Shanin, “On the constructive understanding of mathematical inferences,” Tr. Mat. Inst. Akad. Nauk SSSR,52, 226–311 (1958).
N. A. Shanin, “On an algorithm for the constructive deciphering of mathematical inferences,” Z. Math. Logik Grundl. Math., No. 4, 293–303 (1958).
N. A. Shanin, “Constructive real numbers and constructive functional spaces,” Tr. Mat. Inst. Akad. Nauk SSSR,67, 15–294 (1962).
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 60, pp. 209–220, 1976. The basic content of the article was announced February 6, 1975.
Rights and permissions
About this article
Cite this article
Shanin, N.A. On the quantifier of limiting realizability. J Math Sci 14, 1565–1572 (1980). https://doi.org/10.1007/BF01693989
Issue Date:
DOI: https://doi.org/10.1007/BF01693989