dbo:abstract
|
- In der Modelltheorie, einem Teilgebiet der mathematischen Logik, heißt eine Theorie modellvollständig, wenn Untermodelle besonders gut in ihrem Obermodell liegen. (de)
- In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson. (en)
- Inom modellteori sägs en teori T vara modellfullständig om varje modell är existentiellt sluten. Exempel: 1.
* Teorin för algebraiskt slutna kroppar är modellfullständig. 2.
* Teorin för täta linjära ordningar utan ändpunkter är modellfullständig. 3.
* Teorin för slumpgrafen är modellfullständig. 4.
* Teorin för differentiellt slutna kroppar är modellfullständig. Givet en teori T, är man ofta intresserad av huruvida den har en modellkomplettering och en modellkompis. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3990 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- In der Modelltheorie, einem Teilgebiet der mathematischen Logik, heißt eine Theorie modellvollständig, wenn Untermodelle besonders gut in ihrem Obermodell liegen. (de)
- In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson. (en)
- Inom modellteori sägs en teori T vara modellfullständig om varje modell är existentiellt sluten. Exempel: 1.
* Teorin för algebraiskt slutna kroppar är modellfullständig. 2.
* Teorin för täta linjära ordningar utan ändpunkter är modellfullständig. 3.
* Teorin för slumpgrafen är modellfullständig. 4.
* Teorin för differentiellt slutna kroppar är modellfullständig. Givet en teori T, är man ofta intresserad av huruvida den har en modellkomplettering och en modellkompis. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv)
|
rdfs:label
|
- Modellvollständigkeit (de)
- Model complete theory (en)
- Modellfullständig (sv)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |