Search results for "Carl G. Jockusch Jr."

Hits ?▲	Authors	Title	Venue	Year	Link
1	Carl G. Jockusch Jr., Paul E. Schupp	Generic computability, Turing degrees, and asymptotic density.	J. London Math. Society	2012	DBLP DOI BibTeX RDF
1	Rodney G. Downey, Noam Greenberg, Carl G. Jockusch Jr., Kevin G. Milans	Binary subtrees with few labeled paths.	Combinatorica	2011	DBLP DOI BibTeX RDF
1	Carl G. Jockusch Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon	Stability and posets.	J. Symb. Log.	2009	DBLP BibTeX RDF
1	Damir D. Dzhafarov, Carl G. Jockusch Jr.	Ramsey's theorem and cone avoidance.	J. Symb. Log.	2009	DBLP BibTeX RDF
1	Peter Cholak Jr., Theodore A. Slaman, Carl G. Jockusch Jr.	Corrigendum to: "On the strength of Ramsey's Theorem for pairs".	J. Symb. Log.	2009	DBLP BibTeX RDF
1	Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight	Chains and antichains in partial orderings.	Arch. Math. Log.	2009	DBLP DOI BibTeX RDF
1	John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey	Pi10 classes and strong degree spectra of relations.	J. Symb. Log.	2007	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Angsheng Li	Restricted jump interpolation in the d.c.e. degrees.	Mathematical Structures in Computer Science	2006	DBLP DOI BibTeX RDF
1	Rodney G. Downey, Carl G. Jockusch Jr., Joseph S. Miller	On self-embeddings of computable linear orderings.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Richard Coles, Rodney G. Downey, Carl G. Jockusch Jr., Geoffrey LaForte	Completing pseudojump operators.	Ann. Pure Appl. Logic	2005	DBLP DOI BibTeX RDF
1	Carl G. Jockusch Jr., Tamara J. Lakins	Generalized R-Cohesiveness and The Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness".	J. Symb. Log.	2002	DBLP BibTeX RDF
1	Tamara Lakins Hummel, Carl G. Jockusch Jr.	Ramsey's Theorem for Computably Enumerable Colorings.	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Peter Cholak, Carl G. Jockusch Jr., Theodore A. Slaman	On The Strength of Ramsey's Theorem for Pairs.	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Tamara Lakins Hummel, Carl G. Jockusch Jr.	Generalized Cohesiveness.	J. Symb. Log.	1999	DBLP BibTeX RDF
1	Rodney G. Downey, Carl G. Jockusch Jr.	Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1.	J. Symb. Log.	1999	DBLP BibTeX RDF
1	Rodney G. Downey, Zoltán Füredi, Carl G. Jockusch Jr., Lee A. Rubel	Difference Sets and Computability Theory.	Ann. Pure Appl. Logic	1998	DBLP DOI BibTeX RDF
1	Carl G. Jockusch Jr., Frank Stephan	Correction to "A Cohesive Set which is not High".	Math. Log. Q.	1997	DBLP BibTeX RDF
1	Zoltán Füredi, Carl G. Jockusch Jr., Lee A. Rubel	Difference Sets and Inverting the Difference Operator.	Combinatorica	1996	DBLP DOI BibTeX RDF
1	Carl G. Jockusch Jr., Alexandra Shalpentokh	Weak Presentation of Computable Fields.	J. Symb. Log.	1995	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Robert I. Soare	Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.	J. Symb. Log.	1994	DBLP BibTeX RDF
1	Frank Stephan, Carl G. Jockusch Jr.	A Cohesive Set which is not High.	Math. Log. Q.	1993	DBLP BibTeX RDF
1	P. T. Bateman, Carl G. Jockusch Jr., Alan R. Woods	Decidability and Undecidability of Theories with a Predicate for the Primes.	J. Symb. Log.	1993	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Theodore A. Slaman	On the Sigma2-Theory of the Upper Semilattice of Turing Degrees.	J. Symb. Log.	1993	DBLP BibTeX RDF
1	Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore	Countable Thin Pi01 Classes.	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	Carl G. Jockusch Jr., A. Lewis, Jeffrey B. Remmel	Pi01-Classes and Rado's Selection Principle.	J. Symb. Log.	1991	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Robert I. Soare	Degrees of Orderings Not Isomorphic to Recursive Linear Orderings.	Ann. Pure Appl. Logic	1991	DBLP DOI BibTeX RDF
1	Carl G. Jockusch Jr., James C. Owings	Weakly Semirecursive Sets.	J. Symb. Log.	1990	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Manuel Lerman, Robert I. Soare, Robert Solovay	Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion.	J. Symb. Log.	1989	DBLP BibTeX RDF
1	Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon	Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.	J. Symb. Log.	1988	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce	Annual Meeting of the Association for Symbolic Logic: Denver, 1983.	J. Symb. Log.	1984	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Richard A. Shore	Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers.	J. Symb. Log.	1984	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., David B. Posner	Double Jumps of Minimal Degrees.	J. Symb. Log.	1978	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti	Meeting of the Association for Symbolic Logic: Chicago, 1977.	J. Symb. Log.	1978	DBLP BibTeX RDF
1	Carl G. Jockusch Jr.	Pi01 Classes and Boolean Combinations of Recursively Enumerable Sets.	J. Symb. Log.	1974	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Robert I. Soare	Encodability of Kleene's O.	J. Symb. Log.	1973	DBLP BibTeX RDF
1	Carl G. Jockusch Jr.	An Application of sigma04 Determinancy to the Degrees of Unsolvability.	J. Symb. Log.	1973	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Robert I. Soare	Post's Problem and His Hypersimple Set.	J. Symb. Log.	1973	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Joseph S. Ullian, Robert B. Barrett Jr.	Meeting of the Association for Symbolic Logic: St. Louis 1972.	J. Symb. Log.	1972	DBLP BibTeX RDF
1	Carl G. Jockusch Jr.	Ramsey's Theorem and Recursion Theory.	J. Symb. Log.	1972	DBLP BibTeX RDF
1	Carl G. Jockusch Jr., Robert I. Soare	A Minimal Pair of pi01 Classes.	J. Symb. Log.	1971	DBLP BibTeX RDF
1	Carl G. Jockusch Jr.	The Degrees of Hyperhyperimmune Sets.	J. Symb. Log.	1969	DBLP BibTeX RDF
1	Carl G. Jockusch Jr.	Uniformly Introreducible Sets.	J. Symb. Log.	1968	DBLP BibTeX RDF

Publications of "Carl G. Jockusch Jr." ( http://dblp.L3S.de/Authors/Carl_G._Jockusch_Jr. )