Publisher
Springer International Publishing
Reference24 articles.
1. Ash, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. Elsevier Science, Amsterdam (2000)
2. Ash, C., Knight, J., Manasse, M., Slaman, T.: Generic copies of countable structures. Ann. Pure Appl. Log. 42(3), 195–205 (1989)
3. Chisholm, J.: Effective model theory vs. recursive model theory. J. Symb. Log. 55(3), 1168–1191 (1990)
4. Calvert, W., Harizanov, V., Shlapentokh, A.: Turing degrees of isomorphism types of algebraic objects. J. Lond. Math. Soc. 75(2), 273–286 (2007)
5. Cholak, P., McCoy, C.: Effective prime uniqueness. Submitted for publication
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献