Π 1 1 relations and paths through O

Π 1 1 relations and paths through O

Cached

Download Links

[www.math.cornell.edu]

by Sergey S. Goncharov , Valentina S. Harizanov , Julia F. Knight , Richard A. Shore

Venue:	Journal of Symbolic Logic
Citations:	4 - 2 self

BibTeX

@ARTICLE{Goncharov_π1,
    author = {Sergey S. Goncharov and Valentina S. Harizanov and Julia F. Knight and Richard A. Shore},
    title = {Π 1 1 relations and paths through O},
    journal = {Journal of Symbolic Logic},
    year = {},
    volume = {69},
    pages = {585--611}
}

Bookmark

OpenURL

Abstract

Citations

714	Theory of recursive functions and effective computability, McGraw-Hill - Rogers - 1967
86	Higher recursion theory - Sacks - 1990
66	Degrees of Unsolvability - Lerman - 1983
35	Infinite abelian groups - Kaplansky - 1954
28	Logic with denumerably long formulas and finite strings of quantifiers - Scott - 1965
26	1989], Generic copies of countable structures - Ash, Knight, et al.
23	One hundred and two problems in mathematical logic - Friedman
21	Computable Isomorphisms, Degree Spectra of Relations and Scott Families, Annals of Pure and Applied Logic 93 - Khoussainov, Shore - 1998
20	Array nonrecursive degrees and genericity - Downey, Jockusch, et al. - 1996
20	1991], ‘Some effects of Ash-Nerode and other decidability conditions on degree spectra - Harizanov
19	Effective model theory vs. recursive model theory - Chisholm
17	The Problem of Nonautoequivalent Constructivizations, Algebra and Logic 19 - Goncharov - 1980
13	Intrisically recursive relations, Aspects of Effective Algebra - Ash, Nerode - 1981
12	Recursive well-orderings - Spector - 1955
11	Computable structure and non-structure theorems - Goncharov, Knight
9	Forcing with tagged trees - Steel - 1978
7	Infinitary logic and admissible sets - Barwise - 1969
7	Set Theoretic Problems Suggested by the Notion of Potential Totality - Kreisel - 1959
6	Possible degrees in recursive copies - Ash, Knight - 1997
6	1982], Techniques and Counterexamples in Almost Categorical Recursive Model Theory - Manasse
6	Models with compactness properties relative to an admissible language - Ressayre - 1977
5	Intrinsically hyperarithmetical sets - Soskov - 1996
4	Solution to a problem of spector - Lachlan - 1971
3	Intrinsically Σ 0 α relations - Barker - 1988
3	Countable retracing functions and Π 0 2 predicates - Jockusch, McLaughlin - 1972
2	1976], Recursiveness in Π 1 1 paths through O - Friedman
2	Enumerations in computable structure theory”, submitted to Annals of Pure and Applied Logic - Goncharov, Harizanov, et al.
2	Recursive pseudo-well-orderings', Trans - Harrison - 1968
2	A note on paths through - Parikh
2	On the number of countable models - Sacks - 1981
1	McLaughlin’s conjecture,” handwritten notes - Harrington - 1976
1	Recursiveness of initial segments - Jockusch
1	Intrinsically Π 1 1 relations - Soskov