Wesley Calvert

发表

Turing Degrees of Isomorphism Types of Geometric Objects

Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh, 2011, Comput..

Computability of julia sets by Mark Braverman and Michael Yampolsky, Publisher: Springer, 2009

Wesley Calvert, W. Calvert, 2010, SIGA.

Genericity and UD-random reals

Johanna N. Y. Franklin, Wesley Calvert, W. Calvert, 2015, J. Log. Anal..

Some results on $\mathbb{R}$-computable structures

Wesley Calvert, John E. Porter, 2008 .

The Distance Function on a Computable Graph pdf

Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann, 2011, ArXiv.

Noncomputable functions in the Blum-Shub-Smale model

Wesley Calvert, Russell G. Miller, Ken Kramer, 2011, Log. Methods Comput. Sci..

Index sets for classes of high rank structures

Julia F. Knight, Wesley Calvert, Ekaterina B. Fokina, 2007, J. Symb. Log..

Effective categoricity of Abelian p-groups

Douglas A. Cenzer, Wesley Calvert, Valentina S. Harizanov, 2009, Ann. Pure Appl. Log..

The isomorphism problem for computable Abelian p-groups of bounded length

Wesley Calvert, W. Calvert, 2004, Journal of Symbolic Logic.

Review of process algebra: equational theories of communicating processes by J. C. M. Baeten, T. Basten, and M. A. Reniers

Wesley Calvert, W. Calvert, 2012, SIGA.

Review of universal semantic communication by B. Juba

Wesley Calvert, W. Calvert, 2013, SIGA.

Effective categoricity of equivalence structures

Douglas A. Cenzer, Wesley Calvert, Valentina S. Harizanov, 2006, Ann. Pure Appl. Log..

The Cardinality of an Oracle in Blum-Shub-Smale Computation

Wesley Calvert, Russell G. Miller, Ken Kramer, 2010, CCA.

The isomorphism problem for classes of computable fields

Wesley Calvert, W. Calvert, 2002, Arch. Math. Log..

Computable trees of Scott rank ω1CK, and computable approximation

Julia F. Knight, Wesley Calvert, Jessica Millar, 2006, Journal of Symbolic Logic.

Categoricity of computable infinitary theories

Julia F. Knight, Wesley Calvert, Jessica Millar, 2009, Arch. Math. Log..

PAC learning, VC dimension, and the arithmetic hierarchy

Wesley Calvert, W. Calvert, 2014, Archive for Mathematical Logic.

Real Computable Manifolds and Homotopy Groups

Wesley Calvert, Russell G. Miller, W. Calvert, 2009, UC.

Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words

Elham Sahebkar Khorasani, Shahram Rahimi, Wesley Calvert, 2013, IEEE Transactions on Cybernetics.

Classification from a Computable Viewpoint

Julia F. Knight, Wesley Calvert, W. Calvert, 2006, Bulletin of Symbolic Logic.

Strong jump inversion

Julia F. Knight, Stefan Vatev, Wesley Calvert, 2018, J. Log. Comput..

Metric structures and probabilistic computation

Wesley Calvert, W. Calvert, 2008, Theor. Comput. Sci..

Infinitary Queries in Spatial Databases pdf

Wesley Calvert, John E. Porter, 2008, ArXiv.

Interpreting a field in its Heisenberg group

Valentina Harizanov, Alexandra Soskova, Wesley Calvert, 2021, The Journal of Symbolic Logic.

Structural Highness Notions

Wesley Calvert, Johanna N.Y. Franklin, Dan Turetsky, 2021 .

Index sets of computable structures

Julia F. Knight, Wesley Calvert, Valentina S. Harizanov, 2006 .

Computable Trees of Scott Rank $\omega {1}^{\mathit{CK}}$ , and Computable Approximation

Wesley Calvert, Julia A. Knight, Jessica Millar, 2006 .

Algebraic structure and computable structure

Wesley Calvert, Julia A. Knight, W. Calvert, 2005 .

ON THREE NOTIONS OF EFFECTIVE COMPUTATION OVER R

Wesley Calvert, W. Calvert, 2008 .