В настоящее время на этой странице нет текста. Вы можете найти упоминание данного названия на других страницах, или найти соответствующие записи журналов. У вас нет разрешения создать данную страницу.
Категория:Model theory
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Страницы в категории «Model theory»
Показаны 53 страницы из 53, находящихся в данной категории.
A
- Английская Википедия:Abstract elementary class
- Английская Википедия:Abstract model theory
- Английская Википедия:Algebraically compact module
- Английская Википедия:Amalgamation property
- Английская Википедия:Atomic model (mathematical logic)
- Английская Википедия:Ax–Grothendieck theorem
- Английская Википедия:Ax–Kochen theorem
B
C
- Английская Википедия:C-minimal theory
- Английская Википедия:Cantor's isomorphism theorem
- Английская Википедия:Categorical theory
- Английская Википедия:Compactness theorem
- Английская Википедия:Complete theory
- Английская Википедия:Completeness (logic)
- Английская Википедия:Computable model theory
- Английская Википедия:Conservative extension
D
E
- Английская Википедия:Ehrenfeucht–Fraïssé game
- Английская Википедия:Ehrenfeucht–Mostowski theorem
- Английская Википедия:Elementary class
- Английская Википедия:Elementary diagram
- Английская Википедия:Elementary equivalence
- Английская Википедия:Embedding
- Английская Википедия:End extension
- Английская Википедия:Equisatisfiability
- Английская Википедия:Existentially closed model
- Английская Википедия:Exponential field
- Английская Википедия:Extender (set theory)