Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
COMPUTABLE TOPOLOGICAL GROUPS
Beteiligte:
KOH, HEER TERN;
MELNIKOV, ALEXANDER G.;
NG, KENG MENG
Erschienen:
Cambridge University Press (CUP), 2023
Erschienen in:
The Journal of Symbolic Logic (2023), Seite 1-33
Sprache:
Englisch
DOI:
10.1017/jsl.2023.67
ISSN:
1943-5886;
0022-4812
Entstehung:
Anmerkungen:
Beschreibung:
Abstract We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions based on classical notions in the literature. We relate these notions with the well-established definitions of effective presentability for discrete and profinite groups, and compare our results with similar results in computable topology.