We consider two kinds of reducibilities on finite families of predicates on a countable set: the definability of predicates and their complements of one family via another by means of existential formulas with parameters and the same definability on isomorphism types of families. Ordered structures of degrees generated by families of unary predicates are described. It is proved that for both reducibilities, there exist continuum many minimal nonzero degrees.
Similar content being viewed by others
References
C. Spector, “On degrees of recursive unsolvability,” Ann. Math. (2), 64, No. 3, 581-592 (1956).
G. E. Sacks, “A minimal degree less than 0',” Bull. Am. Math. Soc., 67, 416-419 (1961).
A. S. Morozov, “On some reducibility and existential interpretability of structures,” Sib. Math. J., 58, No. 2, 281-287 (2017).
A. S. Morozov, A. Zh. Satekbaeva, and J. A. Tussupov, “On the existential interpretability of structures,” Sib. El. Mat. Izv., 11, 557-566 (2014); http://semr.math.nsc.ru/v11/p557-566.pdf.
Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 59, No. 4, pp. 480-499, July-August, 2020. Russian https://doi.org/10.33048/alglog.2020.59.405.
D. A. Tussupov is Supported by KN MON RK (project No. AP08855497).
A. S. Morozov is Supported by SB RAS Fundamental Research Program I.1.1 (project No. 0314-2019-0003).
Rights and permissions
About this article
Cite this article
Morozov, A.S., Tussupov, D.A. Minimal Predicates for Δ-Definability. Algebra Logic 59, 328–340 (2020). https://doi.org/10.1007/s10469-020-09605-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-020-09605-9