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) 327336.] 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)
374392.]dvi, ps, pdf

 "The Isomorphism Problem for Computable Abelian pGroups of Bounded
Length" (Updated 2/10/2004) [A slightly modified version of this paper is
published in The Journal of Symbolic Logic 70 (2005), 331345.]
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 w_{1}
^{CK}, and Computable
Approximation," with J. F. Knight and J. Millar (Updated 6/15/2005)
[Published in The Journal of Symbolic Logic 71 (2006) 283298]
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) 191218]
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) 6178]
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. 306325.
dvi, ps, pdf 
 "Computable Structures of Scott Rank w_{1}
^{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 810, 2004), Contemporary Mathematics 425 (2007), American Mathematical Society, pp. 4966.
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), 273286]
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), 14181446]
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 pgroups," with
D. Cenzer, V. Harizanov, and A. Morozov, Annals of Pure and
Applied Logic 159 (2009), 187197.
pdf 
 "Real computable manifolds and homotopy groups," with R. Miller,
Unconventional computation 2009
(Lecture Notes in Computer Science 5715), (2009) 98109. pdf

 "The cardinality of an oracle in BlumShubSmale Computation,"
with K. Kramer and R. Miller, Electronic Proceedings in
Theoretical Computer Science, special issue for Computability
and Complexity in Analysis 2010, 24 (2010) 5666.

 "Metric structures and probabilistic computation," Theoretical
Computer Science 412 (2011), 27662755.
pdf

 "Noncomputable functions in the BlumShubSmale Model," with
K. Kramer and R. Miller, Logical Methods in Computer Science 7
(2011), 120.

 "Formalization of generalized constraint language: A crucial prelude to computing with words," with E. Khorasani and S. Rahimi, IEEE Transactions on Cybernetics 43 (2013) 246258. pdf

 "Degeneration and orbits of tuples and subgroups in an Abelian group," with K. Dutta and A. Prasad, Journal of Group Theory 16 (2013), 221233. pdf

 "Approximating functionsand measuring distance on a graph," with R. Miller and
J. Chubb Reimann, Proceedings of the 12th Asian Logic Conference, 2013, 2452. pdf

 "Some results on Rcomputable structures," Effective mathematics and the uncountable 2008 (Lecture Notes
in Logic, volume 41), 2013, 1432. pdf

 "Degrees of isomorphism types of geometric objects," with
V. Harizanov and A. Shlapentokh, Computability 3 (2014), 105134. pdf

 "PAC Learning, VC Dimension, and the Arithmetic Hierarchy," submitted to Archive for Mathematical Logic, July 2014 pdf

 "Genericity and UDRandom reals," with J. N. Y. Franklin, submitted to Journal of Logic and Analysis, March 2015 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

