Charles McCoy

Available identifiers

Publication	Date of Publication	Type
On the isomorphism problem for some classes of computable algebraic structures	2022-07-15	Paper
Index sets and Scott sentences	2014-08-29	Paper
The arithmetical hierarchy in the setting of \(\omega_1\)	2014-04-30	Paper
Describing free groups	2013-08-19	Paper
Describing free groups. II: \(\Pi ^{0}_{4}\) hardness and no \(\Sigma _{2}^{0}\) basis	2013-08-19	Paper
Isomorphism relations on computable structures	2012-04-19	Paper
Relatively Hyperimmune Relations on Structures	2007-07-26	Paper
Computable categoricity of trees of finite height	2006-02-08	Paper
Enumerations in computable structure theory	2005-10-26	Paper
Simple and immune relations on countable structures	2003-09-16	Paper
Finite computable dimension does not relativize	2003-09-16	Paper
Trivial, strongly minimal theories are model complete after naming constants	2003-09-10	Paper
Group theoretic properties of the group of computable automorphisms of a countable dense linear order	2003-06-09	Paper
\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings	2003-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q4795524	2003-02-24	Paper

This page was built for person: Charles McCoy