Prefer a chat interface with context about you and your work?
Polish group actions: Dichotomies and generalized elementary embeddings
We prove that any Polish group which admits a complete left-invariant metric satisfies the Topological Vaught Conjecture. We also generalize some theorems of model theory from the logic actions to other Polish group actions.