Charlie McCoy

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Strong jump inversion	2018	Wesley Calvert A. N. FROLOV Valentina Harizanov Julia A. Knight Charlie McCoy Alexandra A. Soskova Stefan Vatev
+	Effective prime uniqueness	2017	Peter Cholak Charlie McCoy
+	Effective Prime Uniqueness	2014	Peter Cholak Charlie McCoy
+	Effective Prime Uniqueness	2014	Peter Cholak Charlie McCoy

Common Coauthors

Coauthor	Papers Together
Peter Cholak	3
Wesley Calvert	1
Alexandra A. Soskova	1
Valentina Harizanov	1
Julia A. Knight	1
A. N. FROLOV	1
Stefan Vatev	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	The atomic model theorem and type omitting	2009	Denis R. Hirschfeldt Richard A. Shore Theodore A. Slaman	2
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson	1
+	Saturated Model Theory	2009	Gerald E. Sacks	1
+	Generic copies of countable structures	1989	Chris Ash Julia F. Knight Mark S. Manasse Theodore A. Slaman	1
+ PDF Chat	Every low Boolean algebra is isomorphic to a recursive one	1994	Rod Downey Carl G. Jockusch	1
+ PDF Chat	Degrees of recursively saturated models	1984	Angus Macintyre David Marker	1
+	A jump inversion theorem for the semilattices of sigma-degrees	2010	A. I. Stukachev	1
+	A Jump Inversion Theorem for the Degree Spectra	2008	Alexandra A. Soskova Ivan N. Soskov	1
+ PDF Chat	Proceedings of the American Mathematical Society	2012		1
+	Ash's theorem for abstract structures	2017	Ivan N. Soskov Vessela Baleva	1
+ PDF Chat	TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS	2017	David Marker Russell Miller	1
+	Siberian Mathematical Journal	2013		1
+	Infinite Abelian groups	1954	Irving Kaplansky	1
+	Infinite Abelian groups	1970	L. Fuchs	1