| |
| Authority heading: | Modelltheorie |
|---|---|
| SWD: | 4114617-7 |
| GND: | 4114617-7 |
| PPN (SWB): | 105820873 |
| Source: | M |
| Definition: | aIn der mathematischen Logik: Modell eines Axiomensystems (eine mit gewissen Strukturen versehene Menge, auf die die Axiome des Systems zutreffen) |
| Subject usage: | Nicht verwenden für die Theorie mathematischer Modelle (Abbildungen der Wirklichkeit in Mathematik) |
| SWD-Systematiknummer: | 28 |
| Notation DDC: | 511.34 |
| Alternative forms: | Model-theory Teoria dos modelos Teoria dei modelli Théorie des modèles Teoría de los modelos Model theory Théorie des modèles Teoria dei modelli Modelos, Teoría de Modelltheorie |
| Übergeordnete Bezeichnung: | Metamathematik |
| Related Term: | Metamathematik |
DNB: Deutsche Nationalbibliothek
