69 research outputs found
Turbulence, amalgamation and generic automorphisms of homogeneous structures
We study topological properties of conjugacy classes in Polish groups, with
emphasis on automorphism groups of homogeneous countable structures. We first
consider the existence of dense conjugacy classes (the topological Rokhlin
property). We then characterize when an automorphism group admits a comeager
conjugacy class (answering a question of Truss) and apply this to show that the
homeomorphism group of the Cantor space has a comeager conjugacy class
(answering a question of Akin-Hurley-Kennedy). Finally, we study Polish groups
that admit comeager conjugacy classes in any dimension (in which case the
groups are said to admit ample generics). We show that Polish groups with ample
generics have the small index property (generalizing results of
Hodges-Hodkinson-Lascar-Shelah) and arbitrary homomorphisms from such groups
into separable groups are automatically continuous. Moreover, in the case of
oligomorphic permutation groups, they have uncountable cofinality and the
Bergman property. These results in particular apply to automorphism groups of
many -stable, -categorical structures and of the random
graph. In this connection, we also show that the infinite symmetric group
has a unique non-trivial separable group topology. For several
interesting groups we also establish Serre's properties (FH) and (FA)
On what I do not understand (and have something to say): Part I
This is a non-standard paper, containing some problems in set theory I have
in various degrees been interested in. Sometimes with a discussion on what I
have to say; sometimes, of what makes them interesting to me, sometimes the
problems are presented with a discussion of how I have tried to solve them, and
sometimes with failed tries, anecdote and opinion. So the discussion is quite
personal, in other words, egocentric and somewhat accidental. As we discuss
many problems, history and side references are erratic, usually kept at a
minimum (``see ... '' means: see the references there and possibly the paper
itself).
The base were lectures in Rutgers Fall'97 and reflect my knowledge then. The
other half, concentrating on model theory, will subsequently appear
Proper forcings and absoluteness in
We show that in the presence of large cardinals proper forcings do not change the theory of with real and ordinal parameters and do not code any set of ordinals into the reals unless that set has already been so coded in the ground model
- …