Navigation überspringen
Universitätsbibliothek Heidelberg

Schlagwort-Information

Index-Eintrag in HEIDI

Ansetzungsform:Modelltheorie
SWD:4114617-7
GND:4114617-7
PPN (SWB):105820873
Quelle:M
Definition:aIn der mathematischen Logik: Modell eines Axiomensystems (eine mit gewissen Strukturen versehene Menge, auf die die Axiome des Systems zutreffen)
Benutzungshinweis:Nicht verwenden für die Theorie mathematischer Modelle (Abbildungen der Wirklichkeit in Mathematik)
SWD-Systematiknummer:28
Notation DDC:511.34
Alternativformen:Model-theory
Teoria dos modelos
Teoria dei modelli
Théorie des modèles
Teoría de los modelos
Model theory
Modèles, Théorie des
Übergeordnete Bezeichnung:Metamathematik
Verwandter Begriff:Metamathematik

DNB DNB: Deutsche Nationalbibliothek

zum Seitenanfang