Robert Solovay

Publication Activity (10 Years)

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

Top Topics

Boolean Algebra

Query Answering

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Fred Galvin, Jan Mycielski, Robert Solovay
Strong measure zero and infinite games. Arch. Math. Log. 56 (7-8) (2017)
Robert Solovay, R. D. Arthan, John Harrison
Some new results on decidability for elementary algebra and geometry. Ann. Pure Appl. Log. 163 (12) (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. Log. 66 (3) (1994)
William I. Gasarch, Mark G. Pleszkoch, Robert Solovay
Learning vi Queries in [+, <]. J. Symb. Log. 57 (1) (1992)
Theodore A. Slaman, Robert Solovay
When Oracles Do Not Help. COLT (1991)
William I. Gasarch, Mark G. Pleszkoch, Robert Solovay
Learning Via Queries in [+, <]. COLT (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)
Robert Solovay
Injecting Inconsistencies into Models of PA. Ann. Pure Appl. Log. 44 (1-2) (1989)
Robert Solovay
Explicit Henkin Sentences. J. Symb. Log. 50 (1) (1985)
Robert Solovay, Volker Strassen
Erratum: A Fast Monte-Carlo Test for Primality. SIAM J. Comput. 7 (1) (1978)
David Pincus, Robert Solovay
Definability of Measures and Ultrafilters. J. Symb. Log. 42 (2) (1977)
Robert Solovay, Volker Strassen
A Fast Monte-Carlo Test for Primality. SIAM J. Comput. 6 (1) (1977)
Robert Solovay
On Sets Cook-Reducible to Sparse Sets. SIAM J. Comput. 5 (4) (1976)
Theodore P. Baker, John Gill, Robert Solovay
Relativizations of the P =? NP Question. SIAM J. Comput. 4 (4) (1975)
Karel Prikry, Robert Solovay
On Partitions into Stationary Sets. J. Symb. Log. 40 (1) (1975)