Charles F. D. McCoy

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 2

Top Topics

Sentence Retrieval

Indexing Method

Algebraic Structures

Partially Ordered Sets

Top Venues

Arch. Math. Log.

J. Log. Comput.

Publications

Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
On the isomorphism problem for some classes of computable algebraic structures. Arch. Math. Log. 61 (5-6) (2022)
Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
Strong jump inversion. J. Log. Comput. 28 (7) (2018)
Julia F. Knight, Charles F. D. McCoy
Index sets and Scott sentences. Arch. Math. Log. 53 (5-6) (2014)
Jacob Carson, Jesse Johnson, Julia F. Knight, Karen M. Lange, Charles F. D. McCoy, John Wallbaum
. Comput. 2 (2) (2013)
Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán
Isomorphism relations on computable structures. J. Symb. Log. 77 (1) (2012)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Enumerations in computable structure theory. Ann. Pure Appl. Log. 136 (3) (2005)
Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Computable categoricity of trees of finite height. J. Symb. Log. 70 (1) (2005)
Charles F. D. McCoy
- categoricity in Boolean algebras and linear orderings. Ann. Pure Appl. Log. 119 (1-3) (2003)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
Simple and immune relations on countable structures. Arch. Math. Log. 42 (3) (2003)
Charles F. D. McCoy
Finite computable dimension does not relativize. Arch. Math. Log. 41 (4) (2002)
Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order. Order 19 (4) (2002)