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

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

blank
blank
blank
Красота
blank
Smullyan R.M., Fitting M. — Set theory and the continuum problem
Smullyan R.M., Fitting M. — Set theory and the continuum problem

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

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

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



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


Название: Set theory and the continuum problem

Авторы: Smullyan R.M., Fitting M.

Аннотация:

A lucid, elegant, and complete survey of set theory, this volume is drawn from the authors' substantial teaching experience. The first of three parts focuses on axiomatic set theory. The second part explores the consistency of the continuum hypothesis, and the final section examines forcing and independence results.


Язык: en

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(A, R)$      115
$-$      21
$<$      37
$=$      10
$>$      37
$A$-closed      132
$a$-formula      168
$A$-rank      120
$a$-sentence      168
$A\precB$      1
$A\preceqB$      1
$A\timesB$      22
$A_{1}$      17
$A_{2}$      17
$A_{3}$      18
$A_{4}$      18
$A_{5}$      20
$A_{6}$      22
$A_{7}$      30
$A_{8}$      73
$A_{8}^{*}$      94 220
$c^{*}$      176
$D^{\mathcal{G}}$      204
$E_{i}(x)$      167
$F"$      70
$F(x)$      24
$fg$      70
$f\approx g$      207
$f\circg$      70
$f\in g$      207
$f_{G}$      265
$g$-inductive      33
$g$-ordered      62
$g$-set      60
$g$-tower      49
$g$-tower, slow      53
$g^{*}$      220
$in$-cycles      89
$in$-induction      90
$in$-isomorphic      123
$in$-isomorphism      123
$K_{i,\bar{a’}}^{n}$      151
$K_{\bar{a},i’}^{n}$      151
$K_{\bar{a},\bar{b’}^{n}$      151
$l$      142
$L(x)$      172
$L^{n}$      151
$L_{<}(x)$      46
$L_{i,j’}^{n}$      151
$L_{i,\bar{a’}^{n}$      151
$L_{\alpha}$      142
$L_{\leq}(x)$      46
$M$-set      203
$ML$      9
$M[G]$      266
$M_{\alpha}$      142
$NBG$      9
$NF$      9
$o(K)$      180
$On$      64
$On$-sequence      75
$On^{2}$      107
$p(x)$      117
$p\models X$      192 205
$p\models_{\mathcal{M}}X$      192
$R^{-1}$      10
$R^{\mathcal{G}}_{\alpha}$      203
$R_{\alpha}$      81
$R_{\Omega}$      81
$S(а)$      168
$S4$      195
$S5$      195
$seg$      71
$Sub(\varphi, v_{i}, b)$      169
$T$-closed      69
$t(\varphi)$      167
$V = L$      177
$V$      14
$V^{\mathcal{G}}_{\alpha}$      204
$V_{a}$      170
$w\cdot2$      85
$x$-special      see special
$x\iny$      10 14
$x\varepsilony$      204
$x^{+}$      29
$ZF$      9 12
$ZF$-axioms      154
$ZFS$      13
$М(а)$      168
$с(а)$      167
$[A]$      197
$\aleph_{1}$      104
$\aleph_{2}$      104
$\aleph_{zero}$      104
$\aleph_{\alpha}$      104
$\alpha$ recursion theory      271
$\alpha$-sequence      75
$\alpha_{a}^{x}$      129
$\approx$      205
$\approx_{\alpha}$      205
$\Bar{\Bar{A}}$      105
$\bar{\mathcal{e}}_{b}(a)$      168
$\bigcup a$      11 20
$\Box$      191
$\cap A$      20
$\cap$      21
$\cong$      96
$\cup$      21
$\Delta_{zero}$      145
$\diamond$      191
$\equiv$      10 129
$\exists$      10 128
$\forall$      10 129
$\Gamma$-rank      118
$\Gamma_{\alpha}$      118
$\geq$      38
$\hat{x}$      212
$\in$-connected      94
$\K_{i,j’}^{n}$      151
$\langlea, b\rangle$      19
$\langle\mathcal{G, R, D,V}\rangle$      191
$\langle\mathcal{G, R, D}\rangle$      191
$\langle\mathcal{G, R}\rangle$      191
$\leq$      37
$\mathcal{D}^{\mathcal{D}}_{\mathfrak{F}}$      245
$\mathcal{E}^{a}$      167
$\mathcal{E}_{b}(а)$      168
$\mathcal{E}_{n}^{a}$      167
$\mathcal{F}$      134 141
$\mathcal{F}(x)$      166
$\mathcal{G}$-rank      204
$\mathcal{H}$      102
$\mathcal{L}(X, Y)$      171
$\mathcal{L}_{C}$      205
$\mathcal{L}_{C}^{*}$      205
$\mathcal{L}_{M}$      205
$\mathcal{M}(x,y)$      171
$\mathcal{M}_{\mathfrak{F}}$      245
$\mathcal{O}$-rank      82
$\mathcal{P}$      7 22
$\mathcal{T}$      134
$\mathcal{T}_{n}$      134
$\mathcal{T}_{n}^{K}$      135
$\mathfrak{F}$-invariant      245
$\mathfrak{G}$-invariant      244
$\models^{\mathcal{D}}_{\mathfrak{F}}$      245
$\not\in$      14
$\omega$      8 11
$\Pi$-formula      248
$\Pi(а)$      167
$\prec$      96
$\preceq$      96
$\Sigma$-formula      163
$\Sigma$-relation      163 195
$\subseteq$      14
$\supset$      10 129
$\textsf{Cardinal}(\alpha)$      230
$\textsf{CH}$      176
$\textsf{Const}(x)$      162
$\textsf{Def}(x, у, а)$      171
$\textsf{Dom}$      23
$\textsf{Equal}(x, y, z)$      219
$\textsf{Fun}$      144
$\textsf{GCH}$      176
$\textsf{HC}(x)$      178
$\textsf{Neg}(x)$      167
$\textsf{Next}_\textsf{Equal}(x,y,z,w)$      218
$\textsf{Num}$      144
$\textsf{Op}(x,y)$      238
$\textsf{Ran}$      23
$\textsf{Sub}_{a}$      169
$\textsf{Up}(x, y)$      238
$\theta_{1}H\theta_{2}$      244
$\ulcorner\varphi\urcorner$      134 166
$\upharpoonright$      44 70
$\varphi^{L}$      182
$\varphi_{a}^{x}$      129
$\vee$      10
$\wedge$      10 128
${a,b}$      11 18
${x | P(x)}$      10
${x}$      8 18
${\O}$      11 17
$¬$      10 128
Absolute      144
Absolute, downwards      162
Absolute, over $K$      144
Absolute, upwards      162
Abstraction principle      10
Accessible      191
Admissible set recursion theory      271
Almost all      245
Anti-symmetric      43
Arcan formula      193
Arithmetic, cardinal      106
Arithmetic, ordinal      78
Aussonderungs      12 154
Automorphism      244
Automorphism, group      244
Automorphism, sequence      245
Axiom D      88 93 91 92 92
Axiom of Choice      8 222
Axiom of class formation      15
Axiom of collection      94
Axiom of constructibility      162 172 226
Axiom of empty set      17 18 154 213
Axiom of extensionality      14 154 211
Axiom of infinity      12 30 154 213
Axiom of Power Set      22 154 214
Axiom of replacement      12 73
Axiom of separation      15 154
Axiom of substitution      12 73 154 218
Axiom of union      20 154 214
Axiom of unordered pairs      18 154 214
Axiom of well foundedness      154 214
B-closed      180
Backward path      47
Basic universe      25
Bernstein — Schr$\ddot{o}$der theorem      97
Boolean algebra      273
Boolean operations      21
Boolean valued model      273
Bound occurrence      128
Bound up      179
Bounded      36
c.c.c.      see countable chain condition
Cantor’s theorem      7 8
Cardinal exponentiation      109
cardinal number      64 96 104
Cardinal product      107
Cardinal sum      106
Cardinality      8 96
Cardinality, higher      96
Cardinality, lower      96
Cardinality, same      96
Cartesian product      22
Chain      48
Choice function      54
class      13
Class existence theorem      184
Class-set theory      9
Closed      168
Closed relative to      60
Closed under chain unions      48
Code      134 166
Coding      166
Collapsing Cardinals      237
Commits on      236
Comparability theorem      72
Comparable      8 44 97
Comparable, set      141 142
Comparable, under inclusion      34
Compatible      230 263
Complete sequence      260
components      115
composition      70
Con(x, y)      167
Conservative extension      184
Consistency      56
Constructible class      148
continuous      137
Continuum Hypothesis      8 176
Continuum hypothesis, generalized      9 176
Continuum problem      8
Correspondence      1—1 3 24
Correspondence, many-one      24
Countable      99
Countable chain condition      230
Countably infinite      4
Counting theorem      74
Cover      158
Cowen’s theorem      60 62
D.I.P.      48
D.S.P.      48
Definable first-order      134
Definable over $E$      134
define      134 158 171
Definition by finite recursion      40
Degree      130
Dense      261
Dense below      263 265
Denumerable      4 39 99
Descending $\in$-chains      89
Describable      135
Differ on      236
Distinguished subclass      157
Domain      23 191
Double induction      see induction double
Double induction principle      33
Double superinduction      see superinduction double
E axiom      193
Elementary equivalence      131
Elementary subsystem      131
Embodies      218
Empty set      4 11
Equinumerous      96
Equivalence relation      195
Extended to      56
Extending operation      75
Extensional      116
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте