Robert Solovay

Robert Solovay, R. D. Arthan, John Harrison: Some new results on decidability for elementary algebra and geometry. Ann. Pure Appl. Logic 163(12): 1765-1802 (2012)

Lance Fortnow, William I. Gasarch, Sanjay Jain, Efim B. Kinber, Martin Kummer, Stuart A. Kurtz, Mark Pleszkovich, Theodore A. Slaman, Robert Solovay, Frank Stephan: Extremes in the Degrees of Inferability. Ann. Pure Appl. Logic 66(3): 231-276 (1994)

William I. Gasarch, Mark G. Pleszkoch, Robert Solovay: Learning vi Queries in [+, <]. J. Symb. Log. 57(1): 53-81 (1992)

Theodore A. Slaman, Robert Solovay: When Oracles Do Not Help. COLT 1991: 379-383

William I. Gasarch, Mark G. Pleszkoch, Robert Solovay: Learning Via Queries in [+, <]. COLT 1990: 338-351

Robert Solovay: Injecting Inconsistencies into Models of PA. Ann. Pure Appl. Logic 44(1-2): 101-132 (1989)

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): 1288-1323 (1989)

Robert Solovay: Explicit Henkin Sentences. J. Symb. Log. 50(1): 91-93 (1985)

Robert Solovay, Volker Strassen: Erratum: A Fast Monte-Carlo Test for Primality. SIAM J. Comput. 7(1): 118 (1978)

David Pincus, Robert Solovay: Definability of Measures and Ultrafilters. J. Symb. Log. 42(2): 179-190 (1977)

Robert Solovay, Volker Strassen: A Fast Monte-Carlo Test for Primality. SIAM J. Comput. 6(1): 84-85 (1977)

Robert Solovay: On Sets Cook-Reducible to Sparse Sets. SIAM J. Comput. 5(4): 646-652 (1976)

Karel Prikry, Robert Solovay: On Partitions into Stationary Sets. J. Symb. Log. 40(1): 75-80 (1975)

Theodore P. Baker, John Gill, Robert Solovay: Relativizatons of the P =? NP Question. SIAM J. Comput. 4(4): 431-442 (1975)