Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Classification of countable models of complete theories. Р.1. Monograph in two parts
.pdf
INDEX
OF SYMBOLS
321
asymmetric, 255
symmetric, 255
Q
-preimage asymmetric, 255
Qn, 67, 189
R
-weight, 109
p
R
(M)
, 96
ψ
Rϕ, 76
S(T )
, 24
S(∅)
, 24
Sn(T )
, 24
Sn(∅)
, 24
Sp(T )
, 74
S
(T )
, 74
n,p
S
p1,...,p
T (Σ)
(T )
n
, 155
, 74
T∗, 76
T1F
T1F
T2, 149
T
0
T2F
T
0
T3, 149
T
0
T1∼chT2, 49
Tp, 75
U0, 206, 229, 237
U+, 164, 190, 203, 206, 229, 237
U−, 164, 190, 203, 206, 229, 237
U≥0, 164, 206, 229, 237
U≤0, 164, 206, 229, 237
U
, 243
cofin
Ufin, 243
n
V
(B)
(B)
(B)
, 32
, 32
, 32
V
V
A,M
A,M
p,M
X E Y
X ¹ (α, ω)
X ¹ (α, n)
X ¹ α
, 213
, 219
, 219
, 219
X−1, 169, 211
, 23
A
, 115
B
A
, 116
X
X
, 116
A
, 187
[Φ(A)]
[Φ(A)]
[Φ(X)]
¤
Γ1[Γ2]
Φ(A) 6 Ψ(B)
Ψ(B) ∗
Ψ(B) ∗
Σ
Σ(A)
α
ab
I
X(C)
Φ(A)
X(C)
Φ(A)
-diagram, 115
, 115
-restriction, 219
,
25
L
M
, 233
ν(p)
p∈R
L
P
, 200
ν(p)
p∈R
F
Tn, 49
n∈ω
F
Mn, 49
n∈ω
F
M
, 233
ν(p)
p∈R
F
P
, 200
ν(p)
p∈R
5(a)
, 94
5Q(a)
4(a)
4Q(a)
δα(u, v)
, 94
, 94
, 94
, 129
, 193
, 158
, 158
322
δ
(A)
β,α
δ
β,α
hM, Coli
hCl1, Cl2i
dX1, X2, . . . , Xkep, 209
, 129
(u, v)
, 129
, 60
, 150
A0¹ (α,β)
A0¹ α
, 219
0
A
, 219
α
0
A
, 219
α,β
A ¹ U0, 208
INDEX
, 219
OF SYMBOLS
du1, u2, . . . , ukep, 209
≤RK, 33
bX1, X2, . . . , Xkcp, 167
bu1, u2, . . . , ukcp, 167
S1[S2]
, 187
≥0
G
G
ν(R),d
, 185
ν(p)
, 203
M≥0, 230, 240
M≤0, 230, 240
M
, 238
µ(p)
M
P
P
µ(p,q)
0
ν(R)
0
ν(p)
, 238
, 201
, 181
P≥0, 191, 205
≥0
P
, 191, 205
d
≥0
P
, 201
ν(R)
P≤0, 191, 205
≤0
P
, 201
ν(R)
P
, 204
µ(p)
P
P
P
P
P
P
ν(R),d
ν(R),ad
ν(p),d
ν(p),u
ν(p),ad
, 179
ν(p)
, 202
, 202
, 184
, 186
, 184
A ¹ (α, β)
A ¹ α
, 219
, 219
AR, 214
Aα, 219
A
, 219
α,β
M
, 232
ν(R)
M
, 228
ν(p)
P
, 200
ν(R)
≥0,neu
SI
SI
SI
SI
SI
SI
SI
SI
SI
µ(R)
µ+(p1, p
µ−(p1, p
, 234
ν(R)
≥0,neu
, 222
ν(p)
≥0
, 234
ν(R)
≤0
, 234
ν(R)
≤0
, 222
ν(p)
, 235
ν(R),α
, 234
ν(R)
, 223
ν(p),α
, 221
ν(p)
, 203, 237
n+1
n+1
)
)
¬u2∧ u1, 213
ν(R)
, 199, 232
ν(p)
, 165, 207
A
,
134
S
,
134
, 248, 249
, 248, 249
INDEX
Φ(A)
M
Mn,
OF SYMBOLS
,
134
,
130
26
Q
(Di0; 6i)
i<λ
Q
Φi(Ai)
i<λ
ρ
ν(R)
ρ
ν(p),α,n
ρ
ν(p),α
, 23
, 199, 232
, 161
, 161
, 222
, 222
⊆fin, 128
⊆fin, 129
θu(x, y)
θ
p,u,q
θ
p1,u1,p2,u2,...,pk,uk,p
θ
u1,u2,...,u
`
c
-AP, 145
c
-amalgam free, 145
c
-embedding, 145
c
-graph, 143
, 27
, 165, 207
(x, y)
(x, y)
k
, 165, 207
k+1
, 167, 210
(x, y)
closed, 144
c
-graphsc-isomorphic, 145
c
-isomorphism, 145
c
-subgraph, 144
dα(A)
, 129
dα(N , A)
, 129
dk, 253
d
d
, 253
δ1,...,δ
k
ϕ0,δ1,ϕ1,...,δk,ϕ
(xi, xj)
k
, 252
, 165, 208
e(A)
, 129
f:Φ(A) → Ψ(B)
f:Φ(A) → M
f:A →cB
m
-arc, 254
n
-neighbourhood of type, 72
, 119
, 119
, 145
nA, 150
p
-atom, 238
p
-type, 74
p(M)
, 75, 96
p(M)
, 60, 75
p ≡RKq
p ≤RKq
p ∼RKq
p ¹ B
, 34
, 33
, 34
, 104
p∞, 26, 63, 90
q ⊃fp
, 103
q ⊃nfp
u C v
u E v
, 103
, 212
, 212
u−1, 165, 207
u1◦ v
, 213
u1÷ u2, 217
u1∼αu2, 217
u1∨ u2, 213
u1∧ u2, 213
u1∧ ¬u2, 213
v−1, 165, 207
wR(p)
, 109
D0, 145
323
324
INDEX
OF SYMBOLS
D0∼ D
K(D0)
0
, 139
0
, 119
K0, 113, 144
M1∼RKM2, 36
PM
, 36
A ⊆cB
A
A
B ∗AC
C(a, Q)
C(a, Γ)
M(
M ∼ N
, 156
Φ(A)
-basis, 156
Ψ(B)
a)
,
, 144
, 145
, 67
, 67
25
, 44
Mn, 26
M1F
n
M
i
, 26
M
0
M2, 149
Mp≡RKMq, 34
Flim(D0; 6)
IECTM, 56
U
IEC
IL(fM)
LCC1
LimM(
PE(p)
PE(p, q)
PFN(p)
PFN(p, q)
PFS(p)
PFS(p, q)
PF(p)
PF(p, q)
PIP
POSTC
(M1, M2)
M
0
, 45
-theory, 90
an)
n∈ω
, 164
, 164
, 164
, 164
, 164
, 164
, 164
, 164
-element, 196
-monoid, 229
atomic, 230
, 127
,
60
, 56
Mp≤RKMq, 33
Mp∼RKMq, 34
Mq, 25
(CEP)
(GPIP)
(LPIP)
AAbI
AAbSI
AIEC
AbI
AbSI
, 47
R,n
R,n
M
R,n
R,n
, 97
, 97
, 250
, 250
(M1, M2)
0
, 250
, 250
Comb(M1, M2)
Comb
(M1, M2)
M
0
, 56
, 57
, 56
POSTC
-structure
atomic, 241
POSTCR-structure, 238
n
-absorbing, 249
almostn-absorbing, 249
represented, 247
POSTC
n
QV
A,M
n
QV
A,M
QV
A,M
QV
A,M
QV
p,M
QV
p,M
-monoid, 228
ν(p)
(B)
, 31
a)
,
(
31
(B)
, 31
a)
,
(
31
(B)
, 31
a)
,
(
31
INDEX
OF SYMBOLS
325
RKT(T )
RK(T )
SICE(p)
SICE(p, q)
SICFA(p)
SICFA(p, q)
SICFE(p)
SICFE(p, q)
SICFM(p)
SICFM(p, q)
SICF(p)
SICF(p, q)
, 37
, 36
, 206
, 206
, 206
, 206
, 206
, 206
, 206
, 206
, 206
, 206
SI(p1, X1, p2, X2, . . . , pk, Xk, p
207
SI(p1, u1, p2, u2, . . . , pk, uk, p
k+1
209
s
SI
, 71
p,q
M
SI
, 29
p
SIR, 167
SIp(X1, X2, . . . , Xk)
SIp(u1, u2, . . . , uk)
SI
, 236
R,α
SI
-monoid, 221
ν(p)
SI
, 225
p,α
TC(Γ)
acl(A)
cc(A)
dcl(A)
deg(R)
deg(p, q)
, 101
, 94
, 144
, 94
, 219
, 219
, 209
, 209
k+1
deg(p, u, q)
deg(u)
, 218, 230, 240
glim(D0; 6)
iclM(S)
si
, 134
-degree
of family of types, 219
of label, 218
of type pair, 219
si
-rank
of family of types, 216
of label, 215
of type pair, 216
si(R)
)
,
)
,
, 216
si(θ
si(p)
si(p, q)
si(u)
tp(
tp(a/A)
(x, y))
p,u,q
, 216
, 216
, 215, 230, 240
a)
,
24
, 24
tpM(a/A)
⊆
S(A)
, 54
Cl, 150
ESSM-system, 153
ESS-system, 154
MI-principal, 153
NPE-class, 150
PE-class, 150
POSTC-algebra, 214
R
-atomic, 214
atomic, 214
, 218
, 121
, 215
, 24
SCIENTIFIC PUBLICATION
Sudoplatov Sergey V.
CLASSIFICATION OF COUNTABLE MODELS OF COMPLETE THEORIES
Part 1
Monograph
In the author's Edition
Managing Editor I.P. Brovanova
Art Director A.V. Ladyzskaya
Signed Print 13.04.2018
Format 60 90 1/16. Newsprint
Uch.-ed. l. 20,5. Pecs. l. 20,5
Quantity 30 copies. Ed. No. 110. Order No. 599
Publisher of the Novosibirsk State Technical University
630073, Novosibirsk, Russia, 20, Karl Marx prospect
Тел. (383) 346-31-87
E-mail: office@publish.nstu.ru
Printed in the Printing House
of the Novosibirsk State Technical University
630073, Novosibirsk, Russia, 20, Karl Marx prospect
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]