This HTML5 document contains 34 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/
n17https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
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#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Atomic_model_(mathematical_logic)
rdf:type
dbo:Person
rdfs:label
Atomic model (mathematical logic) Atomares Modell
rdfs:comment
In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them are called complete formulas. Ein atomares Modell ist in der Modelltheorie, einem Teilgebiet der mathematischen Logik ein Modell, das nur sehr wenige Typen realisiert und daher in einem gewissen Sinne sehr klein ist. Der Begriff ist verwandt mit dem Begriff des Primmodells und ist dual zu dem Begriff des saturierten Modells, welches wiederum sehr viele Typen realisiert.
dcterms:subject
dbc:Model_theory
dbo:wikiPageID
3005202
dbo:wikiPageRevisionID
1116669860
dbo:wikiPageWikiLink
dbr:Prime_model dbr:Type_(model_theory) dbr:Theory_(mathematical_logic) dbr:Cambridge_University_Press dbr:Ordered_field dbr:Back-and-forth_method dbr:Algebraic_number dbc:Model_theory dbr:Real_number dbr:Real_closed_field dbr:Mathematical_logic dbr:Model_theory dbr:Linear_ordering
owl:sameAs
dbpedia-de:Atomares_Modell wikidata:Q15308119 freebase:m.03qc9lf n17:XFo2
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Mathematical_logic dbt:Citation
dbo:abstract
In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them are called complete formulas. Ein atomares Modell ist in der Modelltheorie, einem Teilgebiet der mathematischen Logik ein Modell, das nur sehr wenige Typen realisiert und daher in einem gewissen Sinne sehr klein ist. Der Begriff ist verwandt mit dem Begriff des Primmodells und ist dual zu dem Begriff des saturierten Modells, welches wiederum sehr viele Typen realisiert.
gold:hypernym
dbr:Model
prov:wasDerivedFrom
wikipedia-en:Atomic_model_(mathematical_logic)?oldid=1116669860&ns=0
dbo:wikiPageLength
2751
foaf:isPrimaryTopicOf
wikipedia-en:Atomic_model_(mathematical_logic)