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