型 (模型论) Type (model theory)

（重定向自Omitting types theorem）

在模型论中，型是一阶逻辑中的一个兼容的公式集合。一个完备型是这类集合中的一个极大元素。

单词	Omitting types theorem
释义	Omitting types theorem 中文百科型 (模型论) Type (model theory) （重定向自Omitting types theorem）在模型论中，型是一阶逻辑中的一个兼容的公式集合。一个完备型是这类集合中的一个极大元素。英语百科 Type (model theory) 型 (模型论) （重定向自Omitting types theorem） In model theory and related areas of mathematics, a type is an object that, loosely speaking, describes how a (real or possible) element or elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in a language L with free variables x₁, x₂,…, x_n which are true of a sequence of elements of an L-structure $\mathcal{M}$ . Depending on the context, types can be complete or partial and they may use a fixed set of constants, A, from the structure $\mathcal{M}$ . The question of which types represent actual elements of $\mathcal{M}$ leads to the ideas of saturated models and omitting types.
随便看	operanting characteristic curve的意思 operantis的意思 Operant learning的意思 operant level的意思 operantly的意思 operant preferential looking的意思 operant procedure的意思 operant psychology的意思 operant response的意思 operant的意思 operant score的意思 operant skill的意思 operant theory的意思 operant therapy的意思 opera oratorio的意思 opera overture的意思 operaphon的意思 operaphone的意思 opera pitch的意思 opera pumps的意思 operaria的意思 Operario的意思 operarious的意思 operarius的意思 operarmor的意思

Omitting types theorem

型 (模型论) Type (model theory)

Type (model theory) 型 (模型论)