Abstract
We study some properties of descriptive set theory which translate from the ideals of enumerability degrees to admissible sets. We show that the reduction principle fails in the admissible sets corresponding to nonprincipal ideals and possessing the minimality property and that the properties of existence of a universal function, separation, and total extension translate from the ideals to some special classes of admissible sets. We first give some examples of the admissible sets satisfying the total extension principle. In addition, we define a broad subclass of admissible sets admitting no decidable computable numberings of the family of all computably enumerable subsets. We mostly discuss the minimal classes of admissible sets corresponding to the nonprincipal ideals of enumerability degrees.
Similar content being viewed by others
References
A. S. Morozov V. G. Puzarenko (2004) ArticleTitleΣ-subsets of naturals Algebra and Logic 43 IssueID3 162–178
I. Sh. Kalimullin V. G. Puzarenko (2004) ArticleTitleThe computable principles on admissible sets Mat. Tr. 7 IssueID2 35–71
H. Rogers (1967) Theory of Recursive Functions and Effective Computability McGraw-Hill Publishing Company, Ltd. Maidenhead, Berksh
R. I. Soare (1987) Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets Springer-Verlag Berlin; Heidelberg; New York; London; Paris; Tokyo
Yu. L. Ershov (1996) Definability and Computability Consultants Bureau New York, NY
H. J. Keisler C. C. Chang (1973) Model Theory North-Holland Publishing Company Amsterdam; London
Yu. L. Ershov (1985) ArticleTitleΣ-Definability in admissible sets Dokl. Akad. Nauk SSSR 285 IssueID4 792–795
J. Barwise (1975) Admissible Sets and Structures Springer-Verlag Berlin
A. S. Morozov (2004) ArticleTitleOn the relation of Σ-reducibility between admissible sets Siberian Math. J. 45 IssueID3 522–535
V. G. Puzarenko (2003) ArticleTitleGeneralized numberings and definability of the field ℝ in admissible sets Vestnik NGU Ser. Mat. Mekh. Inform. 3 IssueID2 107–117
V. G. Puzarenko (2000) ArticleTitleComputability over models of decidable theories Algebra and Logic 39 IssueID2 98–113
V. G. Puzarenko (2002) ArticleTitleDecidable computable A-numberings Algebra and Logic 41 IssueID5 314–322
V. A. Rudnev (1986) ArticleTitleA universal recursive function on admissible sets Algebra and Logic 25 IssueID4 267–273
Additional information
Original Russian Text Copyright © 2005 Puzarenko V. G.
The author was supported by the Russian Foundation for Basic Research (Grants 01-01-04003; 02-01-00540) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grants NSh-2069.2003.1; MK-2452.2003.01)
Translated from Sibirski \( \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\smile}$}}{\imath} \) Matematicheski \( \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\smile}$}}{\imath} \) Zhurnal, Vol. 46, No. 1, pp. 185–208, January–February, 2005.
Rights and permissions
About this article
Cite this article
Puzarenko, V.G. Computability in special models. Sib Math J 46, 148–165 (2005). https://doi.org/10.1007/s11202-005-0016-z
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11202-005-0016-z