Home > Search Results: keywords:"konečné struktury"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 
Pseudofinite structures
 Smolík, Martin ; Krajíček, Jan (advisor) ; Šaroch, Jan (referee)
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)
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English