Robert Solovay

15 papers A* 2Journal 13
YearRankTypeTitle / Venue / Authors
2017 J jnl
Strong measure zero and infinite games.
Arch. Math. Log.
Fred Galvin, Jan Mycielski, Robert Solovay
2012 J jnl
Some new results on decidability for elementary algebra and geometry.
Ann. Pure Appl. Log.
Robert Solovay, R. D. Arthan, John Harrison
1994 J jnl
Extremes in the Degrees of Inferability.
Ann. Pure Appl. Log.
Lance Fortnow, William I. Gasarch, Sanjay Jain, Efim B. Kinber, Martin Kummer, Stuart A. Kurtz, Mark Pleszkovich, Theodore A. Slaman, Robert Solovay, Frank Stephan
1992 J jnl
Learning vi Queries in [+, <].
J. Symb. Log.
William I. Gasarch, Mark G. Pleszkoch, Robert Solovay
1991 A* conf
When Oracles Do Not Help.
COLT
Theodore A. Slaman, Robert Solovay
1990 A* conf
Learning Via Queries in [+, <].
COLT
William I. Gasarch, Mark G. Pleszkoch, Robert Solovay
1989 J jnl
Injecting Inconsistencies into Models of PA.
Ann. Pure Appl. Log.
Robert Solovay
1989 J jnl
Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion.
J. Symb. Log.
Carl G. Jockusch Jr., Manuel Lerman, Robert I. Soare, Robert Solovay
1985 J jnl
Explicit Henkin Sentences.
J. Symb. Log.
Robert Solovay
1978 J jnl
Erratum: A Fast Monte-Carlo Test for Primality.
SIAM J. Comput.
Robert Solovay, Volker Strassen
1977 J jnl
A Fast Monte-Carlo Test for Primality.
SIAM J. Comput.
Robert Solovay, Volker Strassen
1977 J jnl
Definability of Measures and Ultrafilters.
J. Symb. Log.
David Pincus, Robert Solovay
1976 J jnl
On Sets Cook-Reducible to Sparse Sets.
SIAM J. Comput.
Robert Solovay
1975 J jnl
On Partitions into Stationary Sets.
J. Symb. Log.
Karel Prikry, Robert Solovay
1975 J jnl
Relativizations of the P =? NP Question.
SIAM J. Comput.
Theodore P. Baker, John Gill, Robert Solovay