This HTML5 document contains 68 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n10https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Model_complete_theory
Subject Item
dbr:Skolem_normal_form
dbo:wikiPageWikiLink
dbr:Model_complete_theory
Subject Item
dbr:Ordered_exponential_field
dbo:wikiPageWikiLink
dbr:Model_complete_theory
Subject Item
dbr:Real_closed_ring
dbo:wikiPageWikiLink
dbr:Model_complete_theory
Subject Item
dbr:Model_complete_theory
rdf:type
dbo:Person owl:Thing
rdfs:label
Modellfullständig Modellvollständigkeit Model complete theory
rdfs:comment
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. In der Modelltheorie, einem Teilgebiet der mathematischen Logik, heißt eine Theorie modellvollständig, wenn Untermodelle besonders gut in ihrem Obermodell liegen. 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.
dcterms:subject
dbc:Mathematical_logic dbc:Model_theory
dbo:wikiPageID
15931153
dbo:wikiPageRevisionID
1087018421
dbo:wikiPageWikiLink
dbr:Amalgamation_property dbr:Equivalence_relation dbr:Elementary_embedding dbc:Mathematical_logic dbr:First-order_logic dbr:Categorical_theory dbr:Ordered_field dbr:Complete_theory dbr:Real_closed_field dbr:Diagram_(mathematical_logic) dbr:Ordered_ring dbr:Abraham_Robinson dbr:Ring_(mathematics) dbr:Group_(mathematics) dbr:Elimination_of_quantifiers dbr:Integral_domain dbr:Model_theory dbr:Formally_real_field dbr:Algebraically_closed_field dbc:Model_theory
owl:sameAs
wikidata:Q6888319 n10:4sATx dbpedia-de:Modellvollständigkeit freebase:m.03qh9ps dbpedia-sv:Modellfullständig
dbp:wikiPageUsesTemplate
dbt:Authority_control dbt:Mathematical_logic dbt:Citation dbt:Reflist
dbo:abstract
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. 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. In der Modelltheorie, einem Teilgebiet der mathematischen Logik, heißt eine Theorie modellvollständig, wenn Untermodelle besonders gut in ihrem Obermodell liegen.
gold:hypernym
dbr:Model
prov:wasDerivedFrom
wikipedia-en:Model_complete_theory?oldid=1087018421&ns=0
dbo:wikiPageLength
3990
foaf:isPrimaryTopicOf
wikipedia-en:Model_complete_theory
Subject Item
dbr:Exponential_field
dbo:wikiPageWikiLink
dbr:Model_complete_theory
Subject Item
dbr:Transseries
dbo:wikiPageWikiLink
dbr:Model_complete_theory
Subject Item
dbr:P-adically_closed_field
dbo:wikiPageWikiLink
dbr:Model_complete_theory
Subject Item
dbr:Model-complete
dbo:wikiPageWikiLink
dbr:Model_complete_theory
dbo:wikiPageRedirects
dbr:Model_complete_theory
Subject Item
dbr:Model-complete_theory
dbo:wikiPageWikiLink
dbr:Model_complete_theory
dbo:wikiPageRedirects
dbr:Model_complete_theory
Subject Item
dbr:Model_companion
dbo:wikiPageWikiLink
dbr:Model_complete_theory
dbo:wikiPageRedirects
dbr:Model_complete_theory
Subject Item
dbr:Model_complete
dbo:wikiPageWikiLink
dbr:Model_complete_theory
dbo:wikiPageRedirects
dbr:Model_complete_theory
Subject Item
dbr:Model_completeness
dbo:wikiPageWikiLink
dbr:Model_complete_theory
dbo:wikiPageRedirects
dbr:Model_complete_theory
Subject Item
dbr:Model_completion
dbo:wikiPageWikiLink
dbr:Model_complete_theory
dbo:wikiPageRedirects
dbr:Model_complete_theory
Subject Item
wikipedia-en:Model_complete_theory
foaf:primaryTopic
dbr:Model_complete_theory