Also known as omitting types
模型理論和數學相關領域的術語
Wikidata facts
- Subclass of
- mathematical object
Show 2 more facts
- facet of
- model theory
- different from
- Tipo
Sources (1)
via Wikidata · CC0
Article · 中文
在模型論中，型是一階邏輯中的一個相容的公式集合。一個完備型是這類集合中的一個極大元素。
Abstract from DBpedia / Wikipedia · CC BY-SA