subset of a structure that itself forms a structure
In the Vinony graph
Within Vinony's link graph, 子结构 is referenced by 330 other articles, and connects out to semantic theory of truth, mathematical logic and monoid.
It sits within the topics Mathematical logic, Model theory and Universal algebra.
Its subject is documented across 5 Wikipedia language editions.
Wikidata facts
- Subclass of
- mathematical structure
Show 1 more fact
- studied by
- category theory
Sources (1)
via Wikidata · CC0
Article · 中文
在数学学科模型论中，某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型。 形式定义如下。设 和 是同一个语言 的两个模型。我们称 是 的子模型(通常表示为 M ⊂ N) (等价的说， 是 的)当且仅当 1. * 的域是 的域的子集； 2. * 对于所有 的 -元关系符号 ，我们有 RM = RN ∩ Mn； 3. * 对于所有 的 -元函数符号 ，我们有 ； 4. * 对于所有 的常量符号 ，我们有 。 比如 (Q, +, ×, <, 0, 1) 是 (R, +, ×, <, 0, 1) 的子模型。 在语言的模型的范畴中，子模型将是。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
semantic theory of truth
Entity
mathematical logic
Entity
monoid
Entity
first-order logic
Entity
formal system
Entity
algebra over a field
Entity
recursive set
Entity
semantics of logic
Entity
elementary equivalence
Entity
structure
Entity
Conservative extension
Entity
diagram
Entity
ground expression
Entity
logic
Entity
International Standard Book Number
Entity
complex number
Entity
set theory
Entity
function
Entity
real number
Entity
rational number
Entity