e/Type (model theory)

Information
has gloss	eng: In model theory and related areas of mathematics, a type is a set of first-order formulas in a language L with free variables x_1,x_2,\ldots,x_n which are true of a sequence of elements of an L-structure \mathcalA}. Loosely speaking, types describe possible elements of a mathematical structure. Depending on the context, types can be complete or partial and they may use a fixed set of constants from the structure \mathcalA}. The question of which types represent actual elements of \mathcalA} leads to the ideas of saturated models and omitting types.
lexicalization	eng: type
instance of	e/Chinese name

Meaning
Hungarian
has gloss	hun: A matematikai logikában közelebbről a modellelméletben típuson egy elsőrendű nyelv x1, x2, …, xn változósorozatát tartalmazó adott \mbox }_\mathfrakp}(x_1,x_2,...,x_n)=\\varphi(x_1,x_2,...,x_n),\ldots\}} formulaosztályát értjük, mely különböző mellékfeltételeknek tesz eleget. Egy \mbox }_\mathfrakp}(x_1,x_2,\ldots,x_n)} típussal kapcsolatban a leggyakoribb kérdés, hogy a nyelv egy \mbox }_\mathfrakA} modellje mikor valósítja meg (realizálja), azaz A-ban a változók alkalmas értékelésével egyszerre igazzá tehető-e a típus összes eleme és mikor hagyja ki (kerüli el), azaz mikor lehetelen kielégíteni egyszerre a típus összes elemét. Ez utóbbi esetre adnak elégséges feltételt a típuskihagyási tételek.
lexicalization	hun: típus
Chinese
has gloss	zho: 在模型論中，型是一階邏輯中的一個相容的公式集合。一個完備型是這類集合中的一個極大元素。
lexicalization	zho: 型