The following pages link to Charles F. D. McCoy (Q1407543):
Displaying 16 items.
- Index sets and Scott sentences (Q403398) (← links)
- Finite computable dimension does not relativize (Q1407544) (← links)
- Simple and immune relations on countable structures (Q1407593) (← links)
- (Q1810806) (redirect page) (← links)
- Group theoretic properties of the group of computable automorphisms of a countable dense linear order (Q1810808) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← links)
- On the isomorphism problem for some classes of computable algebraic structures (Q2155501) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Describing free groups (Q2844726) (← links)
- Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis (Q2844727) (← links)
- Computable categoricity of trees of finite height (Q3370760) (← links)
- Trivial, strongly minimal theories are model complete after naming constants (Q4425430) (← links)
- (Q4795524) (← links)
- Relatively Hyperimmune Relations on Structures (Q5294704) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)
- The Arithmetical Hierarchy in the Setting of $\omega_1$ (Q5413742) (← links)