Badaev, Serikzhan A.; Mustafa, M.
(2012)
Let a be a Kleene's ordinal notation of a nonzero computable ordinal. We give a su cient condition on a, so that for every 1 a {computable family of two embedded sets, i.e. two sets A;B, with A properly contined in B, ...