"An introduction to abstract Fraïssé theory" and "Uncountable homogeneous structures"

Prelegent(ci)

Adam Bartoš ("An introduction to abstract Fraïssé theory") and Wiesław Kubiś ("Uncountable homogeneous structures")

Afiliacja

Institute of Mathematics of the Czech Academy of Sciences

Termin

6 grudnia 2023 16:15

Pokój

p. 5050

Seminarium

Seminarium „Topologia i teoria mnogości”

---

"An introduction to abstract Fraïssé theory":

We give a gentle introduction to abstract countable discrete Fraïssé theory. First, we recall three classical examples of ultrahomogeneous structures: the linear order of the rationals, the random graph, and the Urysohn metric space, and we demonstrate the notions of ultrahomogeneity and injectivity on them. Then we recall the language and basic notions from category theory, and we formulate an abstract framework for building homogeneous structures. Finally, we argue the benefits of the framework – it covers both the classical model-theoretic countable Fraïssé limits as well as projective Fraïssé limits introduced by Irwin and Solecki.

 

"Uncountable homogeneous structures":

A first-order structure is said to be homogeneous if every isomorphism between its finitely generated substructures extends to an automorphism. We shall survey some well-known and some relatively new results and methods of building uncountable homogeneous structures.

------------------------------------------------------------------------------------------------

Nagrania obu odczytów można znaleźć pod tym linkiem:

https://drive.google.com/drive/folders/1hgFP5M9wWnr0i317ILfQdZYUD9VsfOeg?usp=sharing

---

• file
• file