Вычислимая проблема вложимости

Калверт вычислил сложность проблемы изоморфизма для вычислимых структур в нескольких известных классах. Розендаль предложил, что аналогичные исследования могут быть интересными для проблемы вложимости вычислимых структур. Под вычислимой проблемой изоморфизма и вычислимой проблемой вложимости мы понимаем сложность определения существования изоморфизма или вложения между двумя вычислимыми моделями из некоторого класса. Для таких классов, как $\mathbb Q$-векторные пространства и линейные порядки, обе проблемы имеют одинаковую сложность. Более того, вычисления фактически совпадают. Для других классов существуют различия. Находятся примеры, в которых проблема вложимости тривиальна (внутри класса), тогда как проблема изоморфизма имеет более высокую сложность. Кроме того, строится пример, в котором проблема вложимости имеет более высокую сложность, чем проблема изоморфизма.