Wesley Calvert

According to our database, Wesley Calvert authored at least 29 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

In Memory of Martin Davis.

Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh

CoRR, 2024

2023

Structural Highness Notions.

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

J. Symb. Log., 2023

Normality, Relativization, and Randomness.

Wesley Calvert, Emma Grunner, Elvira Mayordomo, Daniel Turetsky, Java Darleen Villano

CoRR, 2023

Generically Computable Abelian Groups.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov

Proceedings of the Unconventional Computation and Natural Computation, 2023

2022

Densely computable structures.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov

J. Log. Comput., 2022

Interpreting a field in its Heisenberg Group.

Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar

J. Symb. Log., 2022

Generically and coarsely computable isomorphisms.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov

Comput., 2022

2018

Strong jump inversion.

Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev

J. Log. Comput., 2018

2015

Genericity and UD-random reals.

Wesley Calvert, Johanna N. Y. Franklin

J. Log. Anal., 2015

PAC learning, VC dimension, and the arithmetic hierarchy.

Wesley Calvert

Arch. Math. Log., 2015

2014

Turing Degrees of Isomorphism Types of Geometric Objects.

Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh

Comput., 2014

2013

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

Elham Sahebkar Khorasani, Shahram Rahimi, Wesley Calvert

IEEE Trans. Cybern., 2013

Review of universal semantic communication by B. Juba.

Wesley Calvert

SIGACT News, 2013

2012

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

Wesley Calvert

SIGACT News, 2012

2011

Metric structures and probabilistic computation.

Wesley Calvert

Theor. Comput. Sci., 2011

The Distance Function on a Computable Graph

Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann

CoRR, 2011

Noncomputable functions in the Blum-Shub-Smale model

Wesley Calvert, Ken Kramer, Russell G. Miller

Log. Methods Comput. Sci., 2011

2010

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

Wesley Calvert

SIGACT News, 2010

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

Wesley Calvert, Ken Kramer, Russell G. Miller

Proceedings of the Proceedings Seventh International Conference on Computability and Complexity in Analysis, 2010

2009

Effective categoricity of Abelian p-groups.

Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2009

Categoricity of computable infinitary theories.

Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar

Arch. Math. Log., 2009

Real Computable Manifolds and Homotopy Groups.

Wesley Calvert, Russell G. Miller

Proceedings of the Unconventional Computation, 8th International Conference, 2009

2008

Infinitary Queries in Spatial Databases

Wesley Calvert, John E. Porter

CoRR, 2008

2007

Index sets for classes of high rank structures.

Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko

J. Symb. Log., 2007

2006

Computable trees of Scott rank ω₁^CK, and computable approximation.

Wesley Calvert, Julia F. Knight, Jessica Millar

J. Symb. Log., 2006

Classification from a Computable Viewpoint.

Wesley Calvert, Julia F. Knight

Bull. Symb. Log., 2006

Effective categoricity of equivalence structures.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2006

2005

The isomorphism problem for computable Abelian <i>p</i>-groups of bounded length.

Wesley Calvert

J. Symb. Log., 2005

2004

The isomorphism problem for classes of computable fields.

Wesley Calvert

Arch. Math. Log., 2004