Abstract
The set of complete groups is a complete co-analytic subset of the standard Borel space of countably infinite groups.
Similar content being viewed by others
References
Fried, E., Kollár, J.: Automorphism groups of fields, in Universal Algebra. In: Schmidt, E.T., et al. (eds.) Colloq. Math. Soc. János Bolyai, Vol. 24, pp. 293–304 (1981)
Friedman, H., Stanley, L.: A Borel reducibility theory for classes of countable structures. J. Symb. Log. 54, 894–914 (1989)
Harrison, J.: Recursive pseudo-well-orderings. Trans. Am. Math. Soc. 131, 526–543 (1968)
Hodges, W.A.: Model Theory. Cambridge University Press, Cambridge (1993)
Kueker, D.W.: Definability, automorphisms, and infinitary languages. In: Barwise, J. (ed.) Syntax and Semantics of Infinitary Languages, SLN Vol. 72, pp. 152–165. (1968)
Schreier, O., van der Waerden, B.L.: Die Automorphismen der projektiven Gruppen. Abh. Math. Sem. Univ. Hamburg 6, 303–322 (1928)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by NSF Grant DMS 1362974.
Rights and permissions
About this article
Cite this article
Thomas, S. Complete groups are complete co-analytic. Arch. Math. Logic 57, 601–606 (2018). https://doi.org/10.1007/s00153-017-0597-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0597-9