Effective embeddings for pairs of structures

DOI10.1007/978-3-030-22996-2_8zbMath1434.03094OpenAlexW2953884262MaRDI QIDQ2179351

S. Vatev, Hristo Ganchev, Nikolay Bazhenov

Publication date: 12 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22996-2_8

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

Computable embeddings for pairs of linear orders

This page was built for publication: Effective embeddings for pairs of structures