 Markov property of finitely presented groups

An isomorphism-invariant property of finitely presented groups is Markov when some finitely presented group has it and some finitely presented group cannot embed in any finitely presented group having it. The second witness is an obstruction to embedding, rather than merely a group failing the property. The Adian–Rabin theorem makes every such property algorithmically undecidable from arbitrary finite presentations.