Author:
Cenzer Douglas,Harizanov Valentina,Remmel Jeffrey B.
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Ash, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. In: Studies in Logic and the Foundations of Mathematics, vol. 144, North-Holland Publishing Co., Amsterdam (2000)
2. Calvert, W., Cenzer, D., Harizanov, V., Morozov, A.: Effective categoricity of equivalence structures. Annals of Pure and Applied Logic 141, 61–78 (2006)
3. Cenzer, D., Harizanov, V., Remmel, J.B.:
$\Sigma^0_1$
and
$\Pi^0_1$
equivalence structures. Annals of Pure and Applied Logic 162, 490–503 (2011)
4. Cenzer, D., LaForte, G., Remmel, J.B.: Equivalence structures and isomorphisms in the difference hierarchy. Journal of Symbolic Logic 74, 535–556 (2009)
5. Cenzer, D., Remmel, J.B.: Feasibly categorical abelian groups. In: Clote, P., Remmel, J.B. (eds.) Feasible Math II, Proceedings 1992 Cornell Workshop, Birkhauser, pp. 91–153 (1995)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Injection Structures Specified by Finite State Transducers;Computability and Complexity;2016-12-01
2. A robuster Scott rank;Proceedings of the American Mathematical Society;2015-04-14
3. Two-to-one structures;Journal of Logic and Computation;2013-09-20