Title
An ω -categorical, strictly stable small theory with a large Polish structure.
Abstract
A Polish structure is a pair (G, X) where G is a Polish group acting on a set X so that the stabilizer of any singleton is a closed subgroup of G. We say that (G, X) is small when for every n ∈ N there are only countably many orbits on X n. Given a countable structure M , the pair (Aut (M ) , S (M ))
Access to the event
For the Zoom link please contact the seminar organiser.