Original title:
Pseudokonečné struktury
Translated title:
Pseudofinite structures
Authors:
Smolík, Martin ; Krajíček, Jan (advisor) ; Šaroch, Jan (referee) Document type: Bachelor's theses
Year:
2016
Language:
eng Abstract:
[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)
Keywords:
finite structures; model theory; konečné struktury; teorie modelů
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/84500