Wesley Calvert

34 papers C 2Journal 31Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generically computable linear orderings.
Ann. Pure Appl. Log.
Wesley Calvert, Douglas Cenzer, David Gonzalez, Valentina S. Harizanov
2025 J jnl
Normality, Relativization, and Randomness.
Theory Comput. Syst.
Wesley Calvert, Emma Gruner, Elvira Mayordomo, Daniel Turetsky, Java Darleen Villano
2025 J jnl
Shay Fuchs.
Bull. Symb. Log.
Wesley Calvert
2024 J jnl
In Memory of Martin Davis.
CoRR
Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh
2023 — conf
Generically Computable Abelian Groups.
UCNC
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2023 J jnl
Normality, Relativization, and Randomness.
CoRR
Wesley Calvert, Emma Gruner, Elvira Mayordomo, Daniel Turetsky, Java Darleen Villano
2023 J jnl
Structural Highness Notions.
J. Symb. Log.
Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky
2022 J jnl
Densely computable structures.
J. Log. Comput.
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2022 J jnl
Generically and coarsely computable isomorphisms.
Comput.
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2022 J jnl
Interpreting a field in its Heisenberg Group.
J. Symb. Log.
Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar
2018 J jnl
Strong jump inversion.
J. Log. Comput.
Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
2015 J jnl
Genericity and UD-random reals.
J. Log. Anal.
Wesley Calvert, Johanna N. Y. Franklin
2015 J jnl
PAC learning, VC dimension, and the arithmetic hierarchy.
Arch. Math. Log.
Wesley Calvert
2014 J jnl
PAC Learning, VC Dimension, and the Arithmetic Hierarchy.
CoRR
Wesley Calvert
2014 J jnl
Turing Degrees of Isomorphism Types of Geometric Objects.
Comput.
Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh
2013 J jnl
Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words.
IEEE Trans. Cybern.
Elham Sahebkar Khorasani, Shahram Rahimi, Wesley Calvert
2013 J jnl
Review of universal semantic communication by B. Juba.
SIGACT News
Wesley Calvert
2012 J jnl
Review of process algebra: equational theories of communicating processes by J. C. M. Baeten, T. Basten, and M. A. Reniers.
SIGACT News
Wesley Calvert
2011 J jnl
Metric structures and probabilistic computation.
Theor. Comput. Sci.
Wesley Calvert
2011 J jnl
Noncomputable functions in the Blum-Shub-Smale model
Log. Methods Comput. Sci.
Wesley Calvert, Ken Kramer, Russell G. Miller
2011 J jnl
The Distance Function on a Computable Graph
CoRR
Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann
2010 J jnl
Computability of julia sets by Mark Braverman and Michael Yampolsky, Publisher: Springer, 2009.
SIGACT News
Wesley Calvert
2010 C conf
The Cardinality of an Oracle in Blum-Shub-Smale Computation
CCA
Wesley Calvert, Ken Kramer, Russell G. Miller
2009 J jnl
Categoricity of computable infinitary theories.
Arch. Math. Log.
Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar
2009 J jnl
Effective categoricity of Abelian p-groups.
Ann. Pure Appl. Log.
Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2009 C conf
Real Computable Manifolds and Homotopy Groups.
UC
Wesley Calvert, Russell G. Miller
2008 J jnl
Infinitary Queries in Spatial Databases
CoRR
Wesley Calvert, John E. Porter
2008 J jnl
Metric Structures and Probabilistic Computation
CoRR
Wesley Calvert
2007 J jnl
Index sets for classes of high rank structures.
J. Symb. Log.
Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko
2006 J jnl
Classification from a Computable Viewpoint.
Bull. Symb. Log.
Wesley Calvert, Julia F. Knight
2006 J jnl
Computable trees of Scott rank ω
J. Symb. Log.
Wesley Calvert, Julia F. Knight, Jessica Millar
2006 J jnl
Effective categoricity of equivalence structures.
Ann. Pure Appl. Log.
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2005 J jnl
The isomorphism problem for computable Abelian
J. Symb. Log.
Wesley Calvert
2004 J jnl
The isomorphism problem for classes of computable fields.
Arch. Math. Log.
Wesley Calvert