Teoria modelelor pentru începători. 15 prelegeri

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 10 voturi.

Titlul original:

Model Theory for Beginners. 15 Lectures

Conținutul cărții:

Această carte prezintă o introducere în teoria modelelor în 15 prelegeri.

Ea se concentrează pe câteva concepte-cheie: definibilitatea de prim ordin, clasificarea tipurilor complete, extensii elementare, categoricitate, automorfisme și saturație; toate ilustrate cu exemple care nu necesită nici alegră avansată, nici teoria seturilor. Se oferă o demonstrație completă a teoremei de compactitate pentru limbajele numărabile și aplicațiile acesteia, urmată de o discuție a tehnicii Ehrefeucht-Mostowski pentru construirea de modele care admit automorfisme.

Alte subiecte includ saturația recursivă, modelele non-standard de aritmetică, demonstrația teoretică a modelului lui Abraham Robinson a teoremei lui Tarski privind nedefinibilitatea adevărului și demonstrația teoremei Ramsey infinit folosind o extensie elementară a modelului standard de aritmetică.