modellteori
modellteori, gren av den matematiska logiken som studerar relationer mellan formaliserade teorier och de strukturer eller modeller som teorierna kan handla om.
Den mest välutvecklade delen av modellteorin behandlar första ordningens teorier, dvs. teorier som formaliserats med hjälp av det predikatlogiska språket. En struktur (eller möjlig modell) till en sådan teori T består av en domän D och en tolkning av de deskriptiva konstanterna i T. Om
Litteraturanvisning
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse