Robert I. Soare

Publication Activity (10 Years)

Years Active: 1969-2017
Publications (10 Years): 1

Top Topics

Optical Flow Fields

Multilayer Perceptron

Top Venues

Ann. Pure Appl. Log.

Publications

S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151]. Ann. Pure Appl. Log. 168 (12) (2017)
David Diamondstone, Damir D. Dzhafarov, Robert I. Soare
Classes, Peano Arithmetic, Randomness, and Computable Domination. Notre Dame J. Formal Log. 51 (1) (2010)
Robert I. Soare
Turing oracle machines, online computing, and three displacements in computability theory. Ann. Pure Appl. Log. 160 (3) (2009)
Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
Bounding homogeneous models. J. Symb. Log. 72 (1) (2007)
Robert I. Soare
Computability and Incomputability. CiE (2007)
Karen M. Lange, Robert I. Soare
Computability of Homogeneous Models. Notre Dame J. Formal Log. 48 (1) (2007)
Barbara F. Csima, Robert I. Soare
Computability results used in differential geometry. J. Symb. Log. 71 (4) (2006)
Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare
Bounding prime models. J. Symb. Log. 69 (4) (2004)
Robert I. Soare
Computability theory and differential geometry. Bull. Symb. Log. 10 (4) (2004)
Leo Harrington, Robert I. Soare
Codable Sets and Orbits of Computably Enumerable Sets. J. Symb. Log. 63 (1) (1998)
Alistair H. Lachlan, Robert I. Soare
Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets. J. Symb. Log. 63 (1) (1998)
Leo Harrington, Robert I. Soare
Definable Properties of the Computably Enumerable Sets. Ann. Pure Appl. Log. 94 (1-3) (1998)
Leo Harrington, Robert I. Soare
Definability, automorphisms, and dynamic properties of computably enumerable sets. Bull. Symb. Log. 2 (2) (1996)
Robert I. Soare
Computability and recursion. Bull. Symb. Log. 2 (3) (1996)
Klaus Ambos-Spies, Steven Homer, Robert I. Soare
Minimal Pairs and Complete Problems. Theor. Comput. Sci. 132 (2) (1994)
Alistair H. Lachlan, Robert I. Soare
Models of Arithmetic and Upper Bounds for Arithmetic Sets. J. Symb. Log. 59 (3) (1994)
Carl G. Jockusch Jr., Robert I. Soare
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. J. Symb. Log. 59 (4) (1994)
Klaus Ambos-Spies, Alistair H. Lachlan, Robert I. Soare
The Continuity of Cupping to 0'. Ann. Pure Appl. Log. 64 (3) (1993)
S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
The d.r.e. Degrees are Not Dense. Ann. Pure Appl. Log. 55 (2) (1991)
Carl G. Jockusch Jr., Robert I. Soare
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings. Ann. Pure Appl. Log. 52 (1-2) (1991)
Klaus Ambos-Spies, Steven Homer, Robert I. Soare
Minimal Pairs and Complete Problems. STACS (1990)
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. 54 (4) (1989)
Klaus Ambos-Spies, Robert I. Soare
The Recursively Enumerable Degrees have Infinitely Many One-Types. Ann. Pure Appl. Log. 44 (1-2) (1989)
Douglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer
classes. Ann. Pure Appl. Log. 31 (1986)
Julia F. Knight, Alistair H. Lachlan, Robert I. Soare
Two Theorems on Degrees of Models of True Arithmetic. J. Symb. Log. 49 (2) (1984)
Jon Barwise, Robert I. Soare, Terrence Millar
Meeting of the Association for Symbolic Logic: Milwaukee, 1981. J. Symb. Log. 48 (2) (1983)
Robert I. Soare
Computational Complexity of Recursively Enumerable Sets Inf. Control. 52 (1) (1982)
Robert I. Soare
Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets. Ann. Math. Log. 22 (1) (1982)
Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti
Meeting of the Association for Symbolic Logic: Chicago, 1977. J. Symb. Log. 43 (3) (1978)
Victor L. Bennison, Robert I. Soare
Some Lowness Properties and Computational Complexity Sequences. Theor. Comput. Sci. 6 (1978)
Robert I. Soare
Computational Complexity, Speedable and Levelable Sets. J. Symb. Log. 42 (4) (1977)
Victor L. Bennison, Robert I. Soare
Recursion Theoretic Characterizations of Complexity Theoretic Properties FOCS (1977)
John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait
Meeting of the Association for Symbolic Logic. J. Symb. Log. 41 (2) (1976)
Robert I. Soare
The Infinite Injury Priority Method. J. Symb. Log. 41 (2) (1976)
Carl G. Jockusch Jr., Robert I. Soare
Post's Problem and His Hypersimple Set. J. Symb. Log. 38 (3) (1973)
Carl G. Jockusch Jr., Robert I. Soare
Encodability of Kleene's O. J. Symb. Log. 38 (3) (1973)
Carl G. Jockusch Jr., Robert I. Soare
Classes. J. Symb. Log. 36 (1) (1971)
Robin O. Gandy, Robert I. Soare
A Problem in the Theory of Constructive Order Types. J. Symb. Log. 35 (1) (1970)
Robert I. Soare
A Note on Degrees of Subsets. J. Symb. Log. 34 (2) (1969)
Robert I. Soare
Sets with no Subset of Higher Degrees. J. Symb. Log. 34 (1) (1969)
Robert I. Soare
Constructive Order Types on Cuts. J. Symb. Log. 34 (2) (1969)