|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Spencer J. — The Strange Logic of Random Graphs |
|
|
Предметный указатель |
(aleph nought) categorical 21
(R,H) extension 18
Alice’s Restaurant 5 24 31 122 139
Almost sure theory 20
Almost surely 4 18
Alon, N. 12
Automorphism group 100
Balanced graph 15
Bollobas, B. 11
Central property 136
Circular language 139
Circular string 138
Closure 73 100
Closure, finite 75 94
Compactness principle 8
Complete theory 8 20
Completion 65
Completions, complete set of 58
Compton, K.J. 12
Consistent theory 20
Dense 69
Double jump 56
Duplicator 23
Ehrenfeucht game 11 23 39
Ehrenfeucht semigroup 42 133 156 158
Ehrenfeucht value 27
Ehrenfeucht, A. 23
Elementarily equivalent 21
Erdoes, P. 10 11 14 49 55 61 62 76 103 121
Evolution 10 14 15 19 49 50 62 107 121 140
Existential monadic 149
Extension statement 4 18
Fagin, R. 4 11
First order 15
First order, expressible 33
Generic Extension 85 93
Glebskii, Y.V. 11
Goedel, K. 8 21 97 101
Grandmother 52
Inside-outside strategy 26 33
Janson inequality 11 12 103
Kogan, D.I. 11
Liagonkii, M.I. 11
Lift 160
Limit function 122
Linear language 131
| Linial, N. 160
Look-ahead function 123
Look-ahead strategy 87
Luczak, T. 11 155
Lynch, J. 66 153
Markov chain 138
Minimally safe 72
Model 20
Model, countable 8
Nailextension 70
Natural 107
Percolation 56
persistent 134 136
Poisson distribution 63 153
Polynomial Time hierarchy (PH) 127
Post, E. 108
Predicate 16 91 95
Rational limit function 127
Renyi, A. 10 11 14 49 61 62 76 103 121
Rigid 70
Rooted graph 17
Rucinski, A. 12
SAFE 70
Second order 104
Shelah, S. 12 155
Skolem — Lowenheim theorem 21
sparse 69
Spencer, J. 12 101 123 142
Spoiler 23
St. John, K. 142
Strictly balanced 80
Subextension 70
Substring 136
Talanov, V.A. 11
Tardos, G. 123
Thoma, L. 61
Threshold function 10 14
Total order 40
Tower function 28
Trakhtenbrot — Vaught Theorem 31 108
Transient 134 136
Truth game 96
TYPE 69 74
Underapproximation sequence 125
Winkler, P. 12
Zero-one law 10 19
|
|
|
Реклама |
|
|
|