Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 10 hlasoch.
Model Theory for Beginners. 15 Lectures
Táto kniha predstavuje úvod do teórie modelov v 15 prednáškach.
Sústreďuje sa na niekoľko kľúčových pojmov: definovateľnosť prvého rádu, klasifikácia úplných typov, elementárne rozšírenia, kategoricita, automorfizmy a nasýtenosť; všetko je ilustrované príkladmi, ktoré nevyžadujú pokročilú alegru ani teóriu množín. Uvádza sa úplný dôkaz vety o kompaktnosti pre spočítateľné jazyky a jej aplikácie, po ktorých nasleduje diskusia o Ehrefeucht-Mostowského technike konštrukcie modelov pripúšťajúcich automorfizmy.
Medzi ďalšie témy patrí rekurzívna nasýtenosť, neštandardné modely aritmetiky, modelovo-teoretický dôkaz Tarského vety o nedefinovateľnosti pravdy Abrahamom Robinsonom a dôkaz nekonečnej Ramseyho vety pomocou elementárneho rozšírenia štandardného modelu aritmetiky.
