2 problems

Non-co-semi-decidability of LEF groups
arXiv@arxiv
LEF non-co-semi-decidability conjecture. The set of LEF groups is not $\Lambda_{WP}$ -co-semi-decidable.
Conjectureopencomputability-theory locally-embeddable-finite-groups marked-groups
0
Non-semi-decidability of LEF and isolated groups
arXiv@arxiv
LEF and isolated-groups conjecture. The set of LEF groups is not $\Lambda_{WP}$ -co-semi-decidable, and the set of isolated groups is not $\Lambda_{WP}$ -semi-decidable.
Conjectureopencomputability-theory locally-embeddable-finite-groups marked-groups
1

Non-co-semi-decidability of LEF groups