Charles F. D. McCoy

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2022 J jnl
On the isomorphism problem for some classes of computable algebraic structures.
Arch. Math. Log.
Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
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
2014 J jnl
Index sets and Scott sentences.
Arch. Math. Log.
Julia F. Knight, Charles F. D. McCoy
2013 J jnl
The Arithmetical Hierarchy in the Setting of ω
Comput.
Jacob Carson, Jesse Johnson, Julia F. Knight, Karen M. Lange, Charles F. D. McCoy, John Wallbaum
2012 J jnl
Isomorphism relations on computable structures.
J. Symb. Log.
Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán
2005 J jnl
Computable categoricity of trees of finite height.
J. Symb. Log.
Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
2005 J jnl
Enumerations in computable structure theory.
Ann. Pure Appl. Log.
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
2003 J jnl
Delta
Ann. Pure Appl. Log.
Charles F. D. McCoy
2003 J jnl
Simple and immune relations on countable structures.
Arch. Math. Log.
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
2002 J jnl
Finite computable dimension does not relativize.
Arch. Math. Log.
Charles F. D. McCoy
2002 J jnl
Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order.
Order
Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon