dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Robert I. Soare (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl G. Jockusch Jr., Robert I. Soare: Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. J. Symb. Log. 59(4): 1121-1138 (1994)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl G. Jockusch Jr., Robert I. Soare: Degrees of Orderings Not Isomorphic to Recursive Linear Orderings. Ann. Pure Appl. Logic 52(1-2): 39-64 (1991)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl 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): 1288-1323 (1989)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl 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): 614-619 (1978)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl G. Jockusch Jr., Robert I. Soare: Encodability of Kleene's O. J. Symb. Log. 38(3): 437-440 (1973)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl G. Jockusch Jr., Robert I. Soare: Post's Problem and His Hypersimple Set. J. Symb. Log. 38(3): 446-452 (1973)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl G. Jockusch Jr., Robert I. Soare: A Minimal Pair of pi01 Classes. J. Symb. Log. 36(1): 66-78 (1971)

Selection of 7 from 38 records - Robert I. Soare has 24 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page