1 problem

Non-semi-decidability of isolated groups from finite presentations
Finite-presentation isolated-groups conjecture. The set of isolated groups is not $\Lambda_{FP}$ -semi-decidable.
opencomputability-theory finite-presentations marked-groups
0 responses
05

Non-semi-decidability of isolated groups from finite presentations