Self-embeddings of computable trees
From MaRDI portal
Publication:1049747
zbMath1204.03044arXiv1408.2286MaRDI QIDQ1049747
James H. Schmerl, D. Reed Solomon, Bjørn Kjos-Hanssen, Stephen Binns, Manuel Lerman
Publication date: 13 January 2010
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1408.2286
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items