Mathematical Logic: Computability Theory and Model Theory; Algebraic Geometry and Number Theory: Computational Aspects; Theoretical Computer Science
Office: Neckers A 257
Office Phone: 618-453-6598
Email: wcalvert at math.siu.edu
Web page: www.math.siu.edu/calvert/
Selected Publications
(with D. Cummins, J. F. Knight, and S. Miller) ``Comparing classes of
finite structures,'' Algebra and Logic43 (2004) 374--392.
``The isomorphism problem for computable Abelian p-groups of
bounded length,'' Journal of Symbolic Logic70 (2005), 331--345.
(with J. F. Knight) ``Classification from a computable viewpoint,'' Bulletin of Symbolic Logic12 (2006), 191--218.
(with V. S. Harizanov and A. Shlapentokh) ``Turing degrees of
isomorphism types of algebraic objects,'' Journal of the London Mathematical Society, 75 (2007), 273--286.
(with D. Cenzer, V. S. Harizanov, and A. Morozov) ``Effective categoricity of Abelian p-groups,'' Annals of Pure and Applied Logic159 (2009), 187--197.