Program IDEAS:
Natural Sciences and Mathematics
Participating organizations:
Principal Investigator: Miloš Kurilić
We use the synergy of the methods of
- Set-theory
- Model-theory
- As well as
- Ramsey-theory (combinatorics) and
- Topology
We investigate
- Theories and classes of their models (e.g. the models of first-order theories)
- Similarities of structures and the corresponding classification
- The structures of morphisms (as transformation monoids)
- Particular relevant structures (e.g. Fraïssé limits, models of arithmetic)
