Wesley Calvert
Professor
Professor; Ph.D., University of Notre Dame, 2005.
Research Interests
Mathematical Logic and its applications, especially computability theory and model theory; Algebraic geometry and number theory, especially computational aspects; theoretical computer science.
Selected Publications
-
(with D. Cummins, J. F. Knight, and S. Miller) "Comparing classes of finite structures," Algebra and Logic 43 (2004) 374--392.
-
(with J. F. Knight) "Classification from a computable viewpoint," Bulletin of Symbolic Logic 12 (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 Logic 159 (2009), 187--197.
-
"Metric structures and probabilistic computation," Theoretical Computer Science 412 (2011), 2766--2755.