Charles McCoy

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the isomorphism problem for some classes of computable algebraic structures Archive for Mathematical Logic	2022-07-15	Paper
Index sets and Scott sentences Archive for Mathematical Logic	2014-08-29	Paper
The arithmetical hierarchy in the setting of \(\omega_1\)	2014-04-30	Paper
Describing free groups Transactions of the American Mathematical Society	2013-08-19	Paper
Describing free groups. II: \(\Pi ^{0}_{4}\) hardness and no \(\Sigma _{2}^{0}\) basis Transactions of the American Mathematical Society	2013-08-19	Paper
Isomorphism relations on computable structures Journal of Symbolic Logic	2012-04-19	Paper
Isomorphism relations on computable structures Journal of Symbolic Logic	2012-04-19	Paper
Relatively Hyperimmune Relations on Structures Algebra and Logic	2007-07-26	Paper
Computable categoricity of trees of finite height Journal of Symbolic Logic	2006-02-08	Paper
Enumerations in computable structure theory Annals of Pure and Applied Logic	2005-10-26	Paper
Simple and immune relations on countable structures Archive for Mathematical Logic	2003-09-16	Paper
Finite computable dimension does not relativize Archive for Mathematical Logic	2003-09-16	Paper
Trivial, strongly minimal theories are model complete after naming constants Proceedings of the American Mathematical Society	2003-09-10	Paper
Group theoretic properties of the group of computable automorphisms of a countable dense linear order Order	2003-06-09	Paper
\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings Annals of Pure and Applied Logic	2003-03-09	Paper
scientific article; zbMATH DE number 1873435 (Why is no real title available?)	2003-02-24	Paper

Research outcomes over time

This page was built for person: Charles McCoy