Turing jumps in the Ershov hierarchy |
| |
Authors: | M Kh Faizrakhmanov |
| |
Institution: | 1.Kazan (Volga Region) Federal University,Kazan,Russia |
| |
Abstract: | We look at infinite levels of the Ershov hierarchy in the natural system of notation, which are proper for jumps of sets.
It is proved that proper infinite levels for jumps are confined to Da - 1 \Delta_a^{ - 1} -levels, where a stands for an ordinal ωn > 1. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|