| dbo:description
|
- התאמה המפרשת את הביטויים של שפה פורמלית כביטויים אודות מבנה מתמטי מסוים (iw)
- attribuzione di un significato a tutti gli enunciati del linguaggio (it)
- conjunto acompañado con una colección de funciones y relaciones finitas las cuales están definidas en él (es)
- univerzális algebrai és modellelméleti fogalom (hu)
- aro kun funkcioj kaj rilatoj, matematika termino uzata precipe en la fakoj modelo-teorio kaj universala algebro (eo)
- en logique mathématique, ensemble muni de fonctions et de relations définies sur cet ensemble (fr)
- Grundbegriff der Modelltheorie und universellen Algebra (de)
- set together with an interpretation of a given first-order language (en)
- множество с операциями и отношениями на нём (ru)
- 주어진 1차 논리 언어의 해석을 갖춘 집합 (ko)
- درک ریاضی (fa)
- 在通用代數和模型理論中 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:date
|
- November 2022 (en)
- January 2023 (en)
|
| dbp:reason
|
- As written, the meaning of this would likely not be clear to someone already familiar with the definition of "definability with parameters". (en)
- This definition seems to require the homomorphism to be surjective. It also appears to be non-standard, and no references are given for it. (en)
- "Interpretation" seems to be used with slightly different meanings in model theory versus other areas of mathematical logic, and to a beginner it is not necessarily entirely clear which sense is meant here. It appears to be the sense corresponding to "interpretation function" defined in the section below, but if so that is somewhat confusing, because the notion of "interpretation function" has not yet been defined in the article here yet is already being referenced. There may be a way to phrase this so that it is also clearer to beginners. (en)
|
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:label
|
- Structure (mathematical logic) (en)
- Model (logika) (cs)
- Struktur (erste Stufe) (de)
- Estructura (lógica) (es)
- Structure (logique mathématique) (fr)
- Struktur (logika matematika) (in)
- Modello (logica matematica) (it)
- 구조 (논리학) (ko)
- Estrutura de interpretação (lógica) (pt)
- 结构 (数理逻辑) (zh)
|
| rdfs:seeAlso
| |
| owl:differentFrom
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is rdfs:seeAlso
of | |
| is foaf:primaryTopic
of | |
