Projects
Reading
People
Chat
SU\G
(𝔸)
/K·U
Projects
Reading
People
Chat
Sign Up
Light
Dark
System
Wesley Calvert
Follow
Share
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
Coauthor
Papers Together
Valentina Harizanov
22
Julia F. Knight
15
Andrey Morozov
8
Alexandra Shlapentokh
8
Douglas Cenzer
8
С. С. Гончаров
5
Russell Miller
5
Sara Miller
4
Alexandra A. Soskova
4
John E. Porter
3
Johanna N. Y. Franklin
3
Rose Weisshaar
3
Rachael Alvir
3
Emma Grunner
2
Julia A. Knight
2
Russell Miller
2
Desmond Cummins
2
Dan Turetsky
2
Grant K. Goodman
2
Daniel Turetsky
2
Jennifer Chubb Reimann
2
Ken Kramer
2
Java Darleen Villano
2
Jessica Millar
2
Elvira Mayordomo
2
David Gonzalez
1
Lingguo Bu
1
Charlie McCoy
1
Marc Kiehna
1
Mary Ann Quivey
1
Alberto Policriti
1
Oleg V. Kudinov
1
Eugenio G. Omodeo
1
Kunal Dutta
1
Stefan Vatev
1
Math Feldmann
1
V. G. Puzarenko
1
Amritanshu Prasad
1
Ekaterina Fokina
1
A. N. FROLOV
1
Melanie Johnson
1
Grant Goodman
1
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