1 problem

Matching

Non-semi-decidability of isolated groups from finite presentations
About 5 years old
Finite-presentation isolated-groups conjecture. The set of isolated groups is not $\Lambda_{FP}$ -semi-decidable.
opencomputability-theory finite-presentations marked-groups
08

Non-semi-decidability of isolated groups from finite presentations