Atomic model (mathematical logic)
http://dbpedia.org/resource/Atomic_model_(mathematical_logic) an entity of type: Person
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.
rdf:langString
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.
rdf:langString
rdf:langString
Atomares Modell
rdf:langString
Atomic model (mathematical logic)
xsd:integer
3005202
xsd:integer
1116669860
rdf:langString
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.
rdf:langString
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.
xsd:nonNegativeInteger
2751