Abstract
Reducibility on admissible sets is studied which is a stronger version of the usual Σ-presentability of models. One of its informal prototypes is the interpretability of one computational device in the other. We obtain criteria of reducibility for recursively listed and pure sets, introduce the notion of jump, and prove exact boundaries for the ordinals of jumps. We also show that this reducibility is lifted to \(\mathbb{H}\mathbb{Y}\mathbb{P}\)-superstructures. Several results are proven on the relations of this reducibility to some known reducibilities.
Similar content being viewed by others
References
Goncharov S. S. and Sviridenko D. I., “Logical programming in a board sense,” Algorithm Theory and Its Applications (Vychislitel'nye Sistemy), 129, 3-48 (1989).
Goncharov S. S. and Sviridenko D. I., “Mathematical foundations of semantic programming,” Sov. Phys. Dokl., 301, 608-610 (1986).
Sviridenko D. I. Goncharov S. S., and Ershov Yu. L., “Semantic programming,” Information Processing, Proc. IFIP 10th World Comput. Congr., Dublin/Ireland, 1113-1120 (1986).
Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, New York; St. Louis; San Francisco; Toronto; London; Sydney (1967).
Morozov A. S., “∑-Definability of admissible sets,” Proceedings of Logic Colloquium-98. Praha, 334-351 (2000).
Ershov Yu. L., Computability and Definability, Plenum Publ. Co., New York (1996).
Khisamiev A. N., “Degrees of algebraic structures and ∑-definability,” in: Logic Colloquium'2002: Abstracts of Contributed Papers, Münster, Germany, 2002, p. 39.
Barwise J., Admissible Sets and Structures, Springer-Verlag, Berlin; Göttingen; Heidelberg (1975).
Richter L. J., “Degrees of structures,” J. Symbolic Logic, 46,No. 4, 723-731 (1981).
Slaman T. A., “Relative to any nonrecursive set,” Proc. Amer. Math. Soc., 126,No. 7, 2117-2122 (1998).
Morozov A. S. and Puzarenko V. G., “On ∑-subsets of natural numbers,” Algebra and Logic, 2004 (to appear).
Rights and permissions
About this article
Cite this article
Morozov, A.S. On the Relation of Σ-Reducibility Between Admissible Sets. Siberian Mathematical Journal 45, 522–535 (2004). https://doi.org/10.1023/B:SIMJ.0000028617.17064.08
Issue Date:
DOI: https://doi.org/10.1023/B:SIMJ.0000028617.17064.08