Signed ordered knotlike quandle presentations (Q2571353)

The author defines generalized quandle presentations, so called \textit{signed ordered knotlike quandle presentations} (SOKQ presentations) which are defined in such a way that they exactly represent a virtual knot diagram. The information in which order an arc overcrosses several other arcs is encoded in those presentations. The definition of a SOKQ presentation is rather straight forward. The author then studies the effect of Reidemeister moves of a virtual knot diagram on a SOKQ presentation and defines \textit{formal Reidemeister moves}. The main result is: Two SOKQ presentations present isotopic virtual knots if and only if they are related by a finite sequence of formal Reidemeister moves. This result is also elementary. At last he transmits his result in an obvious way to welded isotopy.