Describing free groups
Jacob Carson, Valentina Harizanov, Julia F. Knight, Karen Lange, Charles F. D. McCoy, Andrey S. Morozov, Sara B. Quinn, C. Safranski, John Wallbaum · Transactions of the American Mathematical Society · 2012
We consider countable free groups of different ranks. For these groups, we investigate computability theoretic complexity of index sets within the class of free groups and within the class of all groups. For a computable free group of infinite rank, we consider the difficulty of finding a basis.