„Modellelmélet” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
|||
5. sor:
A modellelméletben [[konzisztencia|konzisztensnek]] nevezzük az olyan formális elméleteket (nyelveket), melyekhez található a nyelv axiómáit teljesítő [[matematikai struktúra|struktúra]]. Ha az L [[elsőrendű nyelv]]<!--miért csak a sajtkészítők?n-edrendűekre nem?--> és az '''A''' struktúra típusa megegyezik, akkor röviden azt mondjuk, hogy '''A''' egy L-struktúra.
A [[magyarország]]i modellelméleti kutatások fontos előzmények után [[Makkai Mihály]], későbbiekben pedig Sági Gábor munkássága és világra szóló eredményei révén teljesedtek ki.
== Alapfogalmak ==
|