During the talk I would like to introduce the theory of Cohen-like first-order structures. These are countable or uncountable structures which are “generic” much in the same sense as the Cohen reals. They can be added to the universe of set theory using finite or, say, countable conditions and exhibit different properties. I will focus on the construction of a rigid linear order, whose rigidity is absolute for ccc extensions.
Fraïssé theory, and forcing absoluteness of rigidity for linear orders
15.10.2020 15:00 - 16:30
Organiser:
KGRC
Location:
online via Zoom