Abstract
The class of rudimentary predicates is defined as the smallest class of numerical predicates that contains the equality and concatenation predicates and is closed under the operations of propositional logic, explicit transformations, and bounded quantification. Two classes of rudimentary predicates are considered. The first of them consists of the predicates whose prenex normal form of a special type has the quantifier prefix of the form \(\exists \forall \). Predicates of the second class can have an arbitrary quantifier prefix, but restrictions are imposed on the Skolem deciding functions. It is proved that any predicate from each of these classes can be computed by a suitable deterministic algorithm in polynomial time.
Similar content being viewed by others
REFERENCES
A. V. Kuznetsov, “Canonical form theorem for ordinally recursive functions,” in: R. L. Goodstein, Mathematical Logic [Russian translation], Inostr. Lit., Moscow, 1961, pp. 149–154.
R. M. Smullyan, Theory of Formal Systems, Princeton Univ. Press, Princeton, N.J., 1961.
V. A. Nepomnyashchii, “Rudimentary predicates and Turing computations,” Dokl. Akad. Nauk SSSR [Soviet Math. Dokl.], 195 (1970), no. 2, 282–284.
V. A. Nepomnyashchii, “Rudimentary interpretation of two-tape Turing computations,” Kibernetika [Cybernetics], (1970), no. 2, 29–35.
V. A. Nepomnyashchii, “Rudimentary simulation of nondeterministic Turing computations,” Kibernetika [Cybernetics], (1973), no. 2, 23–29.
N. K. Kosovskii, Elements of Mathematical Logic and Its Applications to the Theory of Subrecursive Algorithms [in Russian], Leningrad Univ. Publ., Leningrad, 1981.
S. S. Marchenkov, “On computable complexity of rudimentary predicates,” Diskret. Mat. [Discrete Math. Appl.], 12 (2000), no. 4, 83–98.
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], Nauka, Moscow, 1979.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Marchenkov, S.S. Polynomial Computability of Certain Rudimentary Predicates. Mathematical Notes 74, 64–69 (2003). https://doi.org/10.1023/A:1025067132637
Issue Date:
DOI: https://doi.org/10.1023/A:1025067132637