Self-embeddings of computable trees
From MaRDI portal
Publication:1049747
zbMath1204.03044arXiv1408.2286MaRDI QIDQ1049747
James H. Schmerl, Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, D. Reed Solomon
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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items