Abstract
We prove that no quantifier-free formula in the language of group theory can define the H1-half graph in a Polish group, thus generalising some results from [6]. We then pose some questions on the space of groups of automorphisms of a given Borel complete class, and observe that this space must contain at least one uncountable group.
| Original language | English |
|---|---|
| Pages (from-to) | 61-71 |
| Number of pages | 11 |
| Journal | Reports on Mathematical Logic |
| Volume | 55 |
| DOIs | |
| State | Published - 2020 |
Bibliographical note
Publisher Copyright:© 2021 Jagiellonian University Press. All rights reserved.
Keywords
- Automorphism groups
- Locally finite groups
- Polish groups