Embeddings of Computable Structures

作者：Kach Asher M^*; Levin Oscar; Solomon Reed

来源：Notre Dame Journal of Formal Logic, 2010, 51(1): 55-68.

DOI：10.1215/00294527-2010-004

• computable embedding
• strong embedding property
• weak domain embedding property
• weak range embedding property
• weak embedding property

We study what the existence of a classical embedding between computable structures implies about the existence of computable embeddings. In particular, we consider the effect of fixing and varying the computable presentations of the computable structures.

• 出版日期2010