Effective categoricity of equivalence structures W Calvert, D Cenzer, V Harizanov, A Morozov Annals of Pure and Applied Logic 141 (1-2), 61-78, 2006 | 94 | 2006 |
Comparing classes of finite structures W Calvert, D Cummins, JF Knight, S Miller Algebra and Logic 43 (6), 374-392, 2004 | 93 | 2004 |
Index sets of computable structures W Calvert, VS Harizanov, JF Knight, S Miller Algebra and Logic 45 (5), 306-325, 2006 | 57 | 2006 |
The isomorphism problem for computable Abelian p-groups of bounded length W Calvert The Journal of Symbolic Logic 70 (1), 331-345, 2005 | 54 | 2005 |
The isomorphism problem for classes of computable fields W Calvert Archive for Mathematical Logic 43 (3), 327-336, 2004 | 53 | 2004 |
Classification from a computable viewpoint W Calvert, JF Knight Bulletin of Symbolic Logic 12 (2), 191-218, 2006 | 35 | 2006 |
Computable trees of Scott rank ω1CK, and computable approximation W Calvert, JF Knight, J Millar The Journal of Symbolic Logic 71 (1), 283-298, 2006 | 35 | 2006 |
Effective categoricity of abelian p-groups W Calvert, D Cenzer, VS Harizanov, A Morozov Annals of Pure and Applied Logic 159 (1-2), 187-197, 2009 | 31 | 2009 |
Index sets for classes of high rank structures W Calvert, E Fokina, SS Goncharov, JF Knight, O Kudinov, AS Morozov, ... The Journal of Symbolic Logic 72 (4), 1418-1432, 2007 | 26 | 2007 |
Turing degrees of isomorphism types of algebraic objects W Calvert, V Harizanov, A Shlapentokh Journal of the London Mathematical Society 75 (2), 273-286, 2007 | 23 | 2007 |
Computable structures of Scott rank wCK1 in familiar classes W Calvert, SS Goncharov, JF Knight Contemporary mathematics 425, 49-66, 2007 | 20 | 2007 |
Algebraic structure and computable structure WC Calvert University of Notre Dame, 2005 | 13 | 2005 |
Abelian groups as aec’s J Baldwin, W Calvert, J Goodrick, A Villaveces, A Walczak-Typke preprint 200, 2007 | 10 | 2007 |
Interpreting a field in its Heisenberg group R Alvir, W Calvert, G Goodman, V Harizanov, J Knight, R Miller, ... The Journal of Symbolic Logic 87 (3), 1215-1230, 2022 | 7 | 2022 |
Densely computable structures W Calvert, D Cenzer, V Harizanov Journal of Logic and Computation 32 (3), 581-607, 2022 | 7 | 2022 |
Metric structures and probabilistic computation W Calvert Theoretical computer science 412 (25), 2766-2775, 2011 | 7 | 2011 |
Categoricity of computable infinitary theories W Calvert, SS Goncharov, JF Knight, J Millar Archive for Mathematical Logic 48 (1), 25-38, 2009 | 7 | 2009 |
J. Millar Computable trees of Scott rank ωCK 1 and computable approximations W Calvert, J Knight J. Symbolic Logic 71, 283-298, 2006 | 7* | 2006 |
Strong jump inversion W Calvert, A Frolov, V Harizanov, J Knight, C McCoy, A Soskova, S Vatev Journal of Logic and Computation 28 (7), 1499-1522, 2018 | 6 | 2018 |
PAC learning, VC dimension, and the arithmetic hierarchy W Calvert Archive for Mathematical Logic 54 (7), 871-883, 2015 | 6 | 2015 |