Wesley Calvert: Preprints

  • "The Isomorphism Problem for Classes of Computable Fields" (Updated 10/25/2003). [A shorter version of this paper is published in Archive for Mathematical Logic 43 (2004) 327-336.] dvi, ps, pdf
  • "Comparing classes of finite structures", with D. Cummins, J. F. Knight, and S. Miller (Updated 2/3/2004) [A slightly modified version of this paper appeared in Algebra and Logic 43 (2004) 374-392.]dvi, ps, pdf
  • "The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length" (Updated 2/10/2004) [A slightly modified version of this paper is published in The Journal of Symbolic Logic 70 (2005), 331-345.] dvi, ps, pdf
  • "Algebraic Structure and Computable Structure" (Updated 3/30/2005) [My Ph.D. thesis, submitted to the Graduate School at the University of Notre Dame] dvi, ps, pdf
  • "Computable Trees of Scott Rank w1 CK, and Computable Approximation," with J. F. Knight and J. Millar (Updated 6/15/2005) [Published in The Journal of Symbolic Logic 71 (2006) 283--298] pdf
  • "Classification from a Computable Viewpoint," with J. F. Knight (Updated 6/15/2005) [An improved version of this paper appears in The Bulletin of Symbolic Logic 12 (2006) 191--218] dvi, ps, pdf
  • "Effective Categoricity of Equivalence Structures," with D. Cenzer, V. Harizanov, and A. Morozov [Published in Annals of Pure and Applied Logic 141 (2006) 61--78] pdf
  • "Index Sets for Computable Structures," with V. Harizanov, J. F. Knight, and S. Miller (Updated 2/2/2006), Algebra and Logic, 45 (2006) pp. 306--325.
    dvi, ps, pdf
  • "Computable Structures of Scott Rank w1 CK in familiar classes," with S. S. Goncharov and J. F. Knight (Updated 7/6/2005), Advances in Logic (Proceedings of the North Texas Logic Conference, October 8--10, 2004), Contemporary Mathematics 425 (2007), American Mathematical Society, pp. 49-66.
    dvi, ps, pdf
  • "Turing degrees of isomorphism types of algebraic objects," with V. Harizanov and A. Shlapentokh (Updated 7/6/2005) [Published in Journal of the London Mathematical Society 75 (2007), 273--286]
    dvi, ps, pdf
  • "Index sets for classes of high rank structures," with E. Fokina, S. S. Goncharov, J. F. Knight, O. Kudinov, A. S. Morozov, and V. Puzarenko [Published in Journal of Symbolic Logic 72 (2007), 1418--1446] pdf
  • "Categoricity of computable infinitary theories," with S. S. Goncharov, J. F. Knight, and J. Millar [accepted for publication in special issue of Archive for Mathematical Logic for papers on Model Theory and Computable Model Theory from the Special Year in Logic, University of Florida, 2007] pdf

  • "Effective categoricity of Abelian p-groups," with D. Cenzer, V. Harizanov, and A. Morozov, Annals of Pure and Applied Logic 159 (2009), 187--197. pdf

  • "On three notions of effective computation over R," [Submitted to Logic Journal of the IGPL] pdf

  • "Metric structures and probabilistic computation," [Submitted to Theoretical Computer Science pdf
  • "Real computable manifolds and homotopy groups," with R. Miller, accepted for publication in Unconventional computation 2009 (Lecture Notes in Computer Science), June 2009. pdf
  • "Probabilistic computation and stochastic differential equations," submitted to Journal of Symbolic Logic, September 2009. pdf
  • "Some results on R-computable structures," submitted to Effective mathematics and the uncountable 2008 (Lecture Notes in Computer Science), June 2009. pdf
Rembrandt Harmenszoon van Rijn, Philosopher in Meditation 1632 (110 Kb); Oil on wood, 28 x 34 cm (11 x 13 1/2"); Musee du Louvre, Paris

In an effort to respect the rights of the copyright holders, the latest versions of some papers are not posted here. Many of the papers were improved by the efforts of the journals in which they were published, and the most authoritative versions are to be found in the published form of each paper. However, since I know the difficulty of access to journals, these essentially complete forms are offered here.