About: Atomic model (mathematical logic)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Atomic model (mathematical logic) Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Person, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAtomic_model_%28mathematical_logic%29&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

Attributes	Values
rdf:type	person
rdfs:label	Atomares Modell (de) Atomic model (mathematical logic) (en)
rdfs:comment	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. (de) 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. (en)
dcterms:subject	Model theory
Wikipage page ID	3005202 (xsd:integer)
Wikipage revision ID	1116669860 (xsd:integer)
Link from a Wikipage to another Wikipage	Cambridge University Press Model theory Mathematical logic Ordered field Algebraic number Prime model Back-and-forth method Model theory Theory (mathematical logic) Real closed field Real number Type (model theory) Linear ordering
sameAs	Atomic model (mathematical logic) Atomic model (mathematical logic) Atomic model (mathematical logic) Atomic model (mathematical logic)
dbp:wikiPageUsesTemplate	dbt:Citation dbt:Reflist dbt:Mathematical_logic
has abstract	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. (de) 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. (en)
gold:hypernym	Model
prov:wasDerivedFrom	wikipedia-en:Atomic_model_(mathematical_logic)?oldid=1116669860&ns=0
page length (characters) of wiki page	2751 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Atomic_model_(mathematical_logic)
is Link from a Wikipage to another Wikipage of	List of first-order theories Omega-categorical theory List of mathematical logic topics Skolem normal form Prime model Back-and-forth method Vaught conjecture
is foaf:primaryTopic of	wikipedia-en:Atomic_model_(mathematical_logic)

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software