Теория структуры (of a structure) 128
Теория существенно неразрешимая (essentially undecidable) 209
Теория счетная (countable) 122
Теория упорядоченных полей элементарная (elementary theory of ordered fields) 136
Теория численная (numerical theory) 208
Теория, допускающая элиминацию кванторов (admits elimination of quantifiers) 129
Теория, удовлетворяющая подмодельному условию (satisfies submodel condition) 131
Теория, удовлетворяющая условию изоморфизма (satisfies isomorphism condition) 131
Терм (term) 31 318
Терм представляет (represents) 191
Терм сводимый (reducible) 332
Терм, допустимый для подстановки (sub-stitutible) 35
Тип n-ки (type of a n-tuple) 139
Тип кванторов (type of quantifiers) 258
Указатель (designator) 32
Ультрапроизведение (ultraproduct) 160
Ультрастепень (ultrapower) 160
Ультрафильтр (ultrafilter) 159
Универсум (universe) 24 37 98
Универсум интерпретации (of an Interpretation) 98
Уровень специальной константы (level of a special constant) 75
Условие  -цепи (-chain) 504
Условие (condition) 408 487
Условие единственности (uniqueness condition) 95
Условие изоморфизма (Isomorphism) 131
Условие корректное (correct) 408
Условие подмодельиое (submodel) 131
Условие существования (existence) 95 303 354 359
Условия совместные (compatible conditions) 504
Форма дизъюнктивная (disjunctive form) 65
Форма конъюнктивная (conjunctive) 65
Форма пренексная (prenex form) 62 64
Форма скулемовская (Skolem form) 107
Формула (formula) 15 32 319
Формула атомная (atomic) 32 319
Формула верная (valid) 323
Формула выполнимая (satisfiable) 107
Формула замкнутая (closed) 38
Формула истинная (true) 38 43 307 319
Формула логически истинная (logically valid) 40
Формула Маккинси (McKinsey) 147
Формула негативная (negative) 146
Формула неразрешимая (undecidable) 74
Формула обобщенная (generalized) 321
Формула определяемая (defined) 19
Формула открытая (open) 62
Формула позитивная (positive) 146
Формула представляет (represents) 191
Формула простая экзистенциальная (simply existential) 130
Формула разрешимая (decidable) 74
Формула свертывания (contraction) 178
Формула секущая (cut) 105
Формула слабо представляет (weakly represents) 208
Формула универсальная (universal) 91
| Формула Хорна (Horn) 147
Формула экзистенциальная (existential) 85
Формула элементарная (elementary) 47
Формула, относящаяся к специальной константе (belong to special constant) 79
Формулы эквивалентные (equivalent formulas) 129
Функции эквивалентные (equivalent functions) 252
Функционал (functional) 223 317
Функционал в M (in M) 485
Функционал всюду определенный (total) 223
Функционал вычислимый (calculable) 224
Функционал представляющий частичный (representing partial) 224
Функционал рекурсивного типа (type recursive) 328
Функционал рекурсивный, в (recursive in) 224
Функционал рекурсивный, частичный (recursive partial) 225
Функционал типа r (of type n 317
Функционал функционально рекурсивный (functionally recursive) 250
Функционал частичный (partial) 223
Функция (function) 24 359
Функция f имеющая свойство (having property) 168
Функция всюду определенная (total) 217
Функция выбора (choice) 369
Функция гиперарифметнческая (hyperarith-meticai) 276
Функция индивидная (individual) 25
Функция инъективная (injective) 359
Функция истинности (truth) 26
Функция креативная (creating) 284
Функция определимая (definable) 44 203
Функция представимая (representable) 191
Функция представляющая (representing) 166
Функция представляющая, частичная (representing partial) 218
Функция примитивно рекурсивная (primitive recursive) 206
Функция рекурсивная (recursive) 167
Функция рекурсивная частичная (recursive partial) 220
Функция рекурсивная, в (recursive in) 244
Функция сингулярная (singulary) 45
Функция частичная (partial) 217
Функция, перечисляющая множество (enumerates a set) 207
Характер конечный (finite character) 76
Цепь (chain) 119 453
Цепь элементарная (elementary) 120
Цифра (numeral) 191
Часть теории (part of a theory) 108
Число действительное рекурсивное (recursive real number) 206
Число натуральное (natural) 17 359 364
Эквивалентность (equivalence) 36
Элемент y-первый (y-first) 453
Элемент бесконечный (infinite element) 346
Элемент максимальный (maximal) 77 272 453
Элемент минимальный (minimal) 350
Элемент неединичный (nonzero) 459
Элиминация кванторов (elimination of quantifiers) 130
Язык (language) 14
Язык вынуждения (forcing) 490
Язык первого порядка (first-order) 31 32
Язык счетный (countable) 122
|
|
|
О проекте