We prove that the discreteness problem for two-generated nonelementary subgroups of SL(2, C) is undecidable in the Blum-Shub-Smale (BSS) computability model.
Many UC-authored scholarly publications are freely available on this site because of the UC's open access policies. Let us know how this access is important for you.
