Název:
Pseudokonečné struktury
Překlad názvu:
Pseudofinite structures
Autoři:
Smolík, Martin ; Krajíček, Jan (vedoucí práce) ; Šaroch, Jan (oponent) Typ dokumentu: Bakalářské práce
Rok:
2016
Jazyk:
eng
Abstrakt: [eng][cze] The present thesis is intended for students of logic that are interested in finite model theory. The thesis reports on a construction of structures that are limits of classes of finitely generated structures- the so- called pseudo-finite structures. We will explore namely Fraïssé's amalgamation method. This method has seen use in combinatorics and finite model theory and its generalisation, Hrushovski's method, has been used in geometric model theory. The first part of this thesis is theoretical. Key terms and definitions can be found there alongside formulations and proofs of theorems that describe Fraïssé's method and infer results from it. The second part gives several examples of how this method is used. Powered by TCPDF (www.tcpdf.org)Táto práca je určená pre študentov logiky ktorí sa zaujímajú o teóriu konečných modelov. Práca pojednáva o konštrukcii štruktúr ktoré sú limitami tried konečne generovaných štruktúr- takzvaných pseudokonečných štruktúr. Budeme pojednávať konkrétne o Fraïssého amalgamačnej metóde. Táto metóda je používaná v kombinatorike a teórii konečných modelov a jej zovšeobecnené, Hrushovského metóda bola použitá v geometrickej teórii modelov. Prvá časť práce je teoretická. Nájdeme tam kľúčové pojmy a definície spolu s formuláciami a dôkazmi viet ktoré popisujú Fraïssého metódu a odvodzujú z nej dôsledky. Druhá časť ukazuje niekoľko príkladov použitia tejto metódy. Powered by TCPDF (www.tcpdf.org)
Klíčová slova:
konečné struktury; teorie modelů; finite structures; model theory