Wesley Calvert

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Computability in infinite Galois theory and algorithmically random algebraic fields 2024 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
+ PDF Chat Generically Computable Linear Orderings 2024 Wesley Calvert
Douglas Cenzer
David Gonzalez
Valentina Harizanov
+ In Memory of Martin Davis 2024 Wesley Calvert
Valentina Harizanov
Eugenio G. Omodeo
Alberto Policriti
Alexandra Shlapentokh
+ PDF Chat Normality, Relativization, and Randomness 2024 Wesley Calvert
Emma Grunner
Elvira Mayordomo
Daniel Turetsky
Java Darleen Villano
+ Generically Computable Abelian Groups 2023 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
+ Computability in infinite Galois theory and algorithmically random algebraic fields 2023 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
+ Normality, Relativization, and Randomness 2023 Wesley Calvert
Emma Grunner
Elvira Mayordomo
Daniel Turetsky
Java Darleen Villano
+ Generically and coarsely computable isomorphisms 2022 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
+ PDF Chat STRUCTURAL HIGHNESS NOTIONS 2022 Wesley Calvert
Johanna N. Y. Franklin
Dan Turetsky
+ PDF Chat INTERPRETING A FIELD IN ITS HEISENBERG GROUP 2021 Rachael Alvir
Wesley Calvert
Grant K. Goodman
Valentina Harizanov
Julia F. Knight
Russell Miller
Andrey Morozov
Alexandra A. Soskova
Rose Weisshaar
+ Structural Highness Notions 2021 Wesley Calvert
Johanna N. Y. Franklin
Dan Turetsky
+ Interpreting a field in its Heisenberg group 2020 Rachael Alvir
Wesley Calvert
Grant Goodman
Valentina Harizanov
Julia F. Knight
Andrey Morozov
Russell Miller
Alexandra A. Soskova
Rose Weisshaar
+ PDF Chat Interpreting a field in its Heisenberg group 2020 Rachael Alvir
Wesley Calvert
Grant K. Goodman
Valentina Harizanov
Julia A. Knight
Andrey Morozov
Russell Miller
Alexandra A. Soskova
Rose Weisshaar
+ PDF Chat Strong jump inversion 2018 Wesley Calvert
A. N. FROLOV
Valentina Harizanov
Julia A. Knight
Charlie McCoy
Alexandra A. Soskova
Stefan Vatev
+ Generically Computable Equivalence Structures and Isomorphisms 2018 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
+ PDF Chat PAC learning, VC dimension, and the arithmetic hierarchy 2015 Wesley Calvert
+ PDF Chat Genericity and UD-random reals 2015 Wesley Calvert
Johanna N. Y. Franklin
+ PAC Learning, VC Dimension, and the Arithmetic Hierarchy 2014 Wesley Calvert
+ PDF Chat Turing Degrees of Isomorphism Types of Geometric Objects 2014 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
+ PAC Learning, VC Dimension, and the Arithmetic Hierarchy 2014 Wesley Calvert
+ Some results on ℝ-computable structures 2013 Wesley Calvert
John E. Porter
+ PDF Chat Degeneration and orbits of tuples and subgroups in an abelian group 2012 Wesley Calvert
Kunal Dutta
Amritanshu Prasad
+ Unlearning mathematics for teaching: Intel® Math in Southern Illinois 2012 Lingguo Bu
Wesley Calvert
Marc Kiehna
Math Feldmann
Mary Ann Quivey
Melanie Johnson
+ The Distance Function on a Computable Graph 2011 Wesley Calvert
Russell Miller
Jennifer Chubb Reimann
+ Turing degrees of isomorphism types of geometric objects 2011 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
+ PDF Chat Noncomputable functions in the Blum-Shub-Smale model 2011 Wesley Calvert
Ken Kramer
Russell Miller
+ PDF Chat Metric structures and probabilistic computation 2011 Wesley Calvert
+ Turing degrees of isomorphism types of geometric objects 2011 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
+ The Distance Function on a Computable Graph 2011 Wesley Calvert
Russell Miller
Jennifer Chubb Reimann
+ PDF Chat The Cardinality of an Oracle in Blum-Shub-Smale Computation 2010 Wesley Calvert
Ken Kramer
Russell Miller
+ Effective categoricity of Abelian <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>p</mml:mi></mml:math>-groups 2009 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
Andrey Morozov
+ Categoricity of computable infinitary theories 2008 Wesley Calvert
С. С. Гончаров
Julia F. Knight
Jessica Millar
+ Infinitary Queries in Spatial Databases 2008 Wesley Calvert
John E. Porter
+ Structures in Familiar Classes Which Have Scott Rank $\omega_1^{CK}$ 2008 Wesley Calvert
С. С. Гончаров
Julia F. Knight
+ $\mathbb{R}$-Computability and $F$-Parameterization 2008 Wesley Calvert
+ Three notions of effective computation on $\mathbb{R}$ 2008 Wesley Calvert
+ Some results on $\mathbb{R}$-computable structures 2008 Wesley Calvert
John E. Porter
+ Comparing Classes of Finite Structures 2008 Wesley Calvert
Desmond Cummins
Sara Miller
Julia F. Knight
+ Effective completeness for real computation 2008 Wesley Calvert
+ Index Sets of Computable Structures 2008 Wesley Calvert
Valentina Harizanov
Julia F. Knight
Sara Miller
+ Effective categoricity of equivalence Structures 2008 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
Andrey Morozov
+ Effective categoricity of Abelian p-groups 2008 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
Andrey Morozov
+ Metric Structures and Probabilistic Computation 2008 Wesley Calvert
+ Classification from a Computable Viewpoint 2008 Wesley Calvert
Julia F. Knight
+ Structures in Familiar Classes Which Have Scott Rank $ω_1^{CK}$ 2008 Wesley Calvert
С. С. Гончаров
Julia F. Knight
+ Index sets for classes of high rank structures 2007 Wesley Calvert
Ekaterina Fokina
С. С. Гончаров
Julia F. Knight
Oleg V. Kudinov
Andrey Morozov
V. G. Puzarenko
+ PDF Chat Turing degrees of isomorphism types of algebraic objects 2007 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
+ Computable structures of Scott rank 𝜔₁^{𝐶𝐾} in familiar classes 2007 Wesley Calvert
С. С. Гончаров
Julia F. Knight
+ PDF Chat Index sets of computable structures 2006 Wesley Calvert
Valentina Harizanov
Julia F. Knight
Sara Miller
+ PDF Chat Classification from a Computable Viewpoint 2006 Wesley Calvert
Julia F. Knight
+ Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation 2006 Wesley Calvert
Julia F. Knight
Jessica Millar
+ PDF Chat Effective categoricity of equivalence structures 2005 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
Andrey Morozov
+ PDF Chat The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length 2005 Wesley Calvert
+ Algebraic structure and computable structure 2005 Wesley Calvert
Julia F. Knight
+ Turing Degrees of Isomorphism Types of Algebraic Objects 2005 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
+ PDF Chat Comparing Classes of Finite Structures 2004 Wesley Calvert
Desmond Cummins
Julia F. Knight
Sara Miller
+ The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length 2004 Wesley Calvert
+ PDF Chat The isomorphism problem for classes of computable fields 2004 Wesley Calvert
+ The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length 2004 Wesley Calvert
+ The isomorphism problem for familiar classes of computable structures I 2002 Wesley Calvert
+ The isomorphism problem for classes of computable fields 2002 Wesley Calvert
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ A Borel reductibility theory for classes of countable structures 1989 Harvey M. Friedman
Lee Stanley
14
+ Degree spectra and computable dimensions in algebraic structures 2002 Denis R. Hirschfeldt
Bakhadyr Khoussainov
Richard A. Shore
Arkadii Slinko
12
+ Π<sub>1</sub><sup>1</sup> relations and paths through 2004 С. С. Гончаров
Valentina Harizanov
Julia F. Knight
Richard A. Shore
12
+ PDF Chat Comparing Classes of Finite Structures 2004 Wesley Calvert
Desmond Cummins
Julia F. Knight
Sara Miller
8
+ PDF Chat The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length 2005 Wesley Calvert
8
+ An example concerning Scott heights 1981 Michael Makkai
7
+ PDF Chat Model theory: an introduction 2003 David Marker
7
+ Infinite Abelian groups 1970 L. Fuchs
7
+ PDF Chat Index sets of computable structures 2006 Wesley Calvert
Valentina Harizanov
Julia F. Knight
Sara Miller
7
+ Infinite Abelian groups 1954 Irving Kaplansky
6
+ Functional trees and automorphisms of models 1993 Andrey Morozov
6
+ PDF Chat The isomorphism problem for classes of computable fields 2004 Wesley Calvert
6
+ Higher Recursion Theory 2017 Gerald E. Sacks
6
+ PDF Chat Algebraic number theory 1999 Kazuya Katô
Nobushige Kurokawa
Takeshi Saito
5
+ PDF Chat Analytic equivalence relations and Ulm-type classifications 1995 Greg Hjorth
Alexander S. Kechris
5
+ The Descriptive Set Theory of Polish Group Actions 1996 Howard S. Becker
Alexander S. Kechris
5
+ What is a Structure Theory? 1987 Wilfrid Hodges
5
+ Subsystems of Second Order Arithmetic 1999 Stephen G. Simpson
5
+ PDF Chat Effective categoricity of equivalence structures 2005 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
Andrey Morozov
5
+ Categoricity in hyperarithmetical degrees 1987 C. J. Ash
4
+ PDF Chat The computable dimension of ordered abelian groups 2003 С. С. Гончаров
Steffen Lempp
Reed Solomon
4
+ PDF Chat Computable Models of Theories with Few Models 1997 Bakhadyr Khoussainov
André Nies
Richard A. Shore
4
+ Δ20-categoricity in Boolean algebras and linear orderings 2002 Charles McCoy
4
+ A description of autostable models 1997 Oleg V. Kudinov
4
+ Generic copies of countable structures 1989 Chris Ash
Julia F. Knight
Mark S. Manasse
Theodore A. Slaman
4
+ Countable algebra and set existence axioms11Research partially supported by NSF grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's research was also supported by an Alfred P. Sloan Research Fellowship. 1983 Harvey M. Friedman
Stephen G. Simpson
Rick L. Smith
4
+ Effective categoricity of Abelian <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>p</mml:mi></mml:math>-groups 2009 Wesley Calvert
Douglas Cenzer
Valentina Harizanov
Andrey Morozov
4
+ On the Linear Independence of Fractional Powers of Integers 1940 A. S. Besicovitch
3
+ PDF Chat Computable algebra, general theory and theory of computable fields. 1960 Michael O. Rabin
3
+ PDF Chat Generic computability, Turing degrees, and asymptotic density 2012 Carl G. Jockusch
Paul E. Schupp
3
+ PDF Chat Recent developments in the theory of Borel reducibility 2001 Greg Hjorth
Alexander S. Kechris
3
+ Characterizations for computable structures 2000 Richard A. Shore
Walker White
3
+ Recursively enumerable vector spaces 1977 G. Metakides
Anil Nerode
3
+ PDF Chat Enumerations in computable structure theory 2005 С. С. Гончаров
Valentina Harizanov
Julia A. Knight
Charles A. McCoy
Russell Miller
Reed Solomon
3
+ PDF Chat Turing degrees of isomorphism types of algebraic objects 2007 Wesley Calvert
Valentina Harizanov
Alexandra Shlapentokh
3
+ PDF Chat Asymptotic Density and the Theory of Computability: A Partial Survey 2016 Carl G. Jockusch
Paul E. Schupp
3
+ On the complexity of categoricity in computable structures 2003 Walker White
3
+ PDF Chat Categoricity in power 1965 Michael Morley
3
+ Turing degrees of certain isomorphic images of computable relations 1998 Valentina Harizanov
3
+ Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation 2006 Wesley Calvert
Julia F. Knight
Jessica Millar
3
+ Generic-case complexity, decision problems in group theory, and random walks 2003 Ilya Kapovich
Alexei Myasnikov
Paul E. Schupp
Vladimir Shpilrain
3
+ PDF Chat The isomorphism relation on countable torsion free abelian groups 2002 Greg Hjorth
3
+ PDF Chat Boolean Algebras, Tarski Invariants, and Index Sets 2006 Barbara F. Csima
Antonio Montalbán
Richard A. Shore
3
+ Classification and Orbit Equivalence Relations 1999 Greg Hjorth
3
+ PDF Chat Transcendental Number Theory 1975 A. Baker
3
+ Recursive isomorphism types of recursive Boolean algebras 1981 Jeffrey B. Remmel
3
+ PDF Chat The constructive theory of countable abelian<i>p</i>-groups 1973 Fred Richman
3
+ On strongly minimal sets 1971 John T. Baldwin
A. H. Lachlan
3
+ PDF Chat On the Borel classification of the isomorphism class of a countable model. 1983 Arnold W. Miller
3
+ Theories of linear order 1974 Matatyahu Rubin
2