Algorithmic Transformations of Partial Orders into Linearly Ordered Structures

I. Sh. Kalimullin

Algebra and Logic（2026）SCI 4区SCI 3区

Kazan (Volga Region) Federal University

被引用0|浏览0

摘要

We prove that there exists a partial order having no computable copies in which any effectively interpreted linearly ordered structure has a computable copy, but there are linearly ordered structures with the same degree spectrum which are obtained by a natural algorithmic transformation not directly related to effective interpretability.

更多

查看译文

关键词

algebraic structure,partial order,linear order,effective interpretability,algorithmic transformation

上传PDF