Kurzus kódja: FL-350.61, FLN-350.61	
Kurzus megnevezése: Bevezetés a modellelméletbe és határterületeibe [Introduction to Model Theory and Related Areas]	
Kurzus előadója: Inotai Balázs Bence	
Kurzus helye és ideje: Kedd 18:00-19:30, i226	

Kurzus előfeltétele(i):	
A jegyszerzés módja(i): házi feladatok és beszámoló	
Követelmények: 	

A kurzus leírása:
A kurzus azoknak szól, akik fontosnak tartják a logikai és matematikai módszereket a filozófiában. Előképzettség: jó, ha a hallgatók túl vannak a logika bevezető kurzuson, de az se baj, ha mégsem. A hangsúly a megértésen lesz. Magyar nyelvű jegyzet hozzáférhető. 
Tematika (csak javaslat, ebből választunk közösen): 
-	a halmazelmélet axiómarendszerének áttekintése, 
-	alapvető halmazelméleti definíciók, tételek (számosságok, rendezések, rendszámok),
-	logikai alapok ismétlése, levezethetőség, következmény-reláció, logikai axiómák
-	modellelméleti bevezető, izomorfizmus, elemi ekvivalencia,
-	kategoricitás, teljesség, 
-	Löwenheim-Skolem-tételek, 
-	Gödel kompaktsági tétele, axiomatizálhatóság, 
-	megőrzési tételek, 
-	halmazelméleti modellek, függetlenség, 
-	Gödel-tételek, 
-	a kiszámíthatóság elmélete, Turing-gépek alapvető tulajdonságai, rekurzív függvények.

A fenti tematika csak javaslat. Közösen fogjuk eldönteni, mi érdekes.	

Kurzushoz tartozó kötelező irodalom:
Az első órán kerül kiosztásra.	

Kurzushoz tartozó ajánlott irodalom: