Objectives:
An object can be called generic if it occurs typically, in the sense that its copies can be found in every residual set in an appropriate space of objects. The aim of the project is to study generic objects appearing in several areas of mathematics, finding new tools for constructing and detecting such objects, and exploring their combinatorial structure. Well-known examples of generic objects in model theory are Fraisse limits. Generic structures occur also naturally in topology (e.g. the Cantor set) and various areas of mathematical analysis (e.g. generic Banach spaces). Cohen's set-theoretic forcing offers a strong tool of constructing generic objects, usually needed for specific purposes and not related to Fraisse limits. One of our objectives is to explore links between the set-theoretic method of forcing and model-theoretic methods for constructing universal homogeneous structures.
Main investigator:
IM team members:
|
Bartoš Adam Di Liberti Ivan Doležal Martin |
Kania Tomasz Müller Vladimír |
Participating institutions:
Institute of Mathematics, Czech Academy of Sciences, Coordinator
