Modellelmélet kezdőknek. 15 előadás

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 10 olvasói szavazat alapján történt.

Eredeti címe:

Model Theory for Beginners. 15 Lectures

Könyv tartalma:

Ez a könyv 15 előadásban mutatja be a modellelmélet bevezetését.

Több kulcsfogalomra koncentrál: elsőrendű definiálhatóság, teljes típusok osztályozása, elemi kiterjesztések, kategoricitás, automorfizmusok és telítettség; mindezt olyan példákkal illusztrálva, amelyek nem igényelnek sem haladó alegbra, sem halmazelméletet. A megszámlálható nyelvekre vonatkozó tömörségtétel teljes bizonyítása és alkalmazásai szerepelnek, majd az automorfizmusokat megengedő modellek konstruálására szolgáló Ehrefeucht-Mostowski-technika tárgyalása következik.

További témák közé tartozik a rekurzív telítettség, az aritmetika nem standard modelljei, Abraham Robinson modellelméleti bizonyítása Tarski igazság meghatározhatatlansági tételének, valamint a végtelen Ramsey-tétel bizonyítása az aritmetika standard modelljének elemi kiterjesztésével.