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
(37 av 258 ord)
Vill du få tillgång till hela artikeln?
Medverkande
Litteraturanvisning
C. Chang & H. Keisler,
Model Theory (
1973).
Källangivelse
Nationalencyklopedin,
modellteori.
http://www.ne.se/uppslagsverk/encyklopedi/lång/modellteori