Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with decidability
Search options answers only
not deleted
user 1463
10
votes
Is the isomorphism problem for amenable groups decidable?
According to the diagram on page 31 of Chuck Miller's authoritative MSRI notes, the isomorphism problem is known to be undecidable for finitely presented solvable groups of derived length 3, and hence …
- 25k
16
votes
Examples of finitely presented subgroups of $\operatorname{GL}(n,\mathbb{Z})$ with unsolvabl...
Finitely presented $\mathbb{Z}$-linear groups with unsolvable conjugacy problem are known to exist, although writing them down explicitly will be extremely painful! I'm not sure (or have perhaps forgo …
- 25k