Turing Computable Embeddings and Coding Families of Sets

DOI10.1007/978-3-642-30870-3_54zbMath1358.03044OpenAlexW93176174MaRDI QIDQ2904450

Victor Ocasio González

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_54

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Turing computable embeddings, computable infinitary equivalence, and linear orders

This page was built for publication: Turing Computable Embeddings and Coding Families of Sets