Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Sacks G.E. — Higher recursion theory
Sacks G.E. — Higher recursion theory

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Higher recursion theory

Автор: Sacks G.E.

Язык: en

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1990

Количество страниц: 364

Добавлена в каталог: 13.11.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$A$-correct      217
$E$-recursive      234
$E$-recursively enumerable      236 241
$H$-sets      22
$\alpha$-cardinal      158
$\alpha$-Finite      155
$\alpha$-finite injury      175
$\alpha$-jump      199
$\alpha$-recursive      155
$\alpha$-Recursive in      162
$\alpha$-recursively enumerable      154
$\beta$-recursion      227
$\omega$-sets      133
$\Pi^{1}_{1}$ sets      18
$\sigma$2cf($\alpha$)      181
$\Sigma^{1}_{1}$ boundedness      20
$\Sigma_{1}$ Skolem function      160
Addison equivalence      48
Admissible ordinals      154 174
Admissible sets      151
Analytical in Y      42
Analytical predicates      3
Baire category      97 108
Basis theorems      52 74 92 250
Boldface      42
Boundedness, $\Sigma^{1}_{1}$      20
Bounding arguments      81
Category      97
Ccc forcing      273
Choice, $\Sigma^{1}_{1}$      67
Closure condition      7
Closure ordinals      76
Cofinality, $\Sigma_{2}$      181
Cohen forcing      94
Comprehension, $\Delta^{1}_{1}$      67
Constructibility      82
Constructive in $Y$      43
Constructive ordinals      10
Converges      234
Countable chain selection      277
Countably closed forcing      265
Davis uniqueness      42
Density for $\omega$      212
Divergence-admissibility split      257
Dynamic methods      184
Effective bounding      263
Effective transfinite recursion      10 238
Fine structure      207
First order definable      154
Forcing      94 98 265 273
Forcing computations      259
Full ordinal rank      64
Function quantifiers      4
Gandy forcing      108
Gandy selection      244
Gandy topology      108
Genericity      95 101 104
Grilliot selection      284
Harrington’s plus-two theorem      299
HYP      23
Hyperarithmetic      23
Hyperarithmetic predicates of reals      44
Hyperarithmetic quantifiers      59
Hyperarithmetic reducibility      44
Hyperdegrees, incomparable      46
Hyperdegrees, minimal      106
Hyperjump      48
Hyperregular      135 167
Incomparable hyperdegrees      46
Inductive definitions      76
Kechris’s basis theorem      250
Kleene’s $O$      8
Kreisel compactness      70
Louveau separation      107
MacQueen — Harrington selection      284
Maximal Sets      145
Measureability of $\Pi^{1}_{1}$      47
Metacomplete      133
Metacomputable      123
Metafinite      117
Metafinite computations      121
Metarecursive      117
Metarecursive in      127
Metarecursively enumerable      117
Minimal hyperdegrees      106
Monotonic      76
Moschovakis selection      287
Moschovakis witnesses      249
Mostowski’s conjecture      59
Natural enumeration of $L(\alpha$)      155
Natural enumeration of $O$      9
Negative requirements      221
Non-enumerability      266
Normal forms      5
Normann schemes      233
Normann selection      279
Notations for ordinals      8
Objects of type a      291
Ordinal analysis of $\Pi^{1}_{1}$ sets      18
Ordinal rank      63
Partial $E$-recursive      234
Partial recursive functions      3
Perfect forcing      98
Perfect subsets      71 84
persistent      26
Plus-one theorems      290
Positive      77
Positive requirements      220
Post’s problem for $E$-recursion      328
Post’s problem for $\alpha$      177 182
Post’s problem for admissible sets      189
Post’s problem, uniform solution      191
Priority arguments      138 169 219 338
Projectum, $E$-recursively enumerable      313
Projectum, $\Sigma_{1}$      157
Projectum, $\Sigma_{2}$      208
Projectum, tame $\Sigma_{1}$      320
Ramified analytic hierarchy      62
RE cofinality      318
Recursive enumerability on      256
Recursive ordinals      15 241
Reduction      35
Reflection      242
Regular sets      129 131 163 165 309
Rogers and ETR      11
Scattered      86
Sections      291
Selection      32 283 304
Separation      36
Separation, Louveau      107
seq      18
sequence numbers      18
Set quantifiers      6
Shore blocking      186
Shore’s density theorem      218
Shore’s splitting theorem      204
Silver’s Theorem      112
SIMPLE      134
Simpson’s dichotomy      146
Singletons, $\Pi^{0}_{1}$      37 41
Singletons, $\Pi^{1}_{1}$      81 86
Slaman’s density theorem      337
Slaman’s splitting theorem      334
Spector — Gandy Theorem      61
Stability      159
Tame $\Sigma_{1}$ cofinality      323
Tame $\Sigma_{2}$ projectum      180
Tame $\Sigma_{2}$ recursion      194
Tameness      179
Tree of possibilities      261
Turing jump      22
Turing jump hierarchy      60
Uniformity, measure-theoretic      88
Uniformization      28 87
Unique notations      55
Uniqueness theorem, Spector’s      40
Universal computation tree      237
Weak $\Sigma_{1}$ admissibility      211 228
Wellfounded relations      16
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте