Unknotting twisted knots with Gauss diagram forbidden moves
Abstract
Twisted knot theory, introduced by Bourgoin, is a generalization of virtual knot theory. It is well known that any virtual knot can be deformed into a trivial knot by a finite sequence of generalized Reidemeister moves and two forbidden moves and . Similarly, we show that any twisted knot also can be deformed into a trivial knot or a trivial knot with a bar by a finite sequence of extended Reidemeister moves and three forbidden moves , (or ) and (or ).