|
Sibirskii Matematicheskii Zhurnal, 2005, Volume 46, Number 4, Pages 841–850
(Mi smj1008)
|
|
|
|
About the admissible predicates on admissible sets
A. S. Morozov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
We study the admissible predicates, i.e., the predicates having the property that their addition to the signature of an admissible set preserves the property “to be an admissible set”. We show that the family of these predicates is much wider than the family of $\Delta$-predicates. We also construct a family of admissible predicates of cardinality $2^{\omega}$ such that the addition of an arbitrary pair of predicates of this family to the signature of an admissible set violates the admissibility of the latter as well as other examples of families of admissible predicates.
Keywords:
admissible set, admissible predicate, generalized computability.
Received: 14.10.2004
Citation:
A. S. Morozov, “About the admissible predicates on admissible sets”, Sibirsk. Mat. Zh., 46:4 (2005), 841–850; Siberian Math. J., 46:4 (2005), 668–674
Linking options:
https://www.mathnet.ru/eng/smj1008 https://www.mathnet.ru/eng/smj/v46/i4/p841
|
|