Robert Solovay

According to our database, Robert Solovay authored at least 16 papers between 1975 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2017

Strong measure zero and infinite games.

Fred Galvin, Jan Mycielski, Robert Solovay

Arch. Math. Log., 2017

2012

Some new results on decidability for elementary algebra and geometry.

Robert Solovay, R. D. Arthan, John Harrison

Ann. Pure Appl. Log., 2012

2000

A Version of Ω for which ZFC Cannot Predict a Single Bit.

Robert M. Solovay

Proceedings of the Finite Versus Infinite, 2000

1994

Extremes in the Degrees of Inferability.

Lance Fortnow, William I. Gasarch, Sanjay Jain, Efim B. Kinber, Martin Kummer, Stuart A. Kurtz, Mark Pleszkovich, Theodore A. Slaman, Robert Solovay, Frank Stephan

Ann. Pure Appl. Log., 1994

1992

Learning vi Queries in [+, <].

William I. Gasarch, Mark G. Pleszkoch, Robert Solovay

J. Symb. Log., 1992

1991

When Oracles Do Not Help.

Theodore A. Slaman, Robert Solovay

Proceedings of the Fourth Annual Workshop on Computational Learning Theory, 1991

1990

Learning Via Queries in [+, <].

William I. Gasarch, Mark G. Pleszkoch, Robert Solovay

Proceedings of the Third Annual Workshop on Computational Learning Theory, 1990

1989

Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion.

Carl G. Jockusch Jr., Manuel Lerman, Robert I. Soare, Robert Solovay

J. Symb. Log., 1989

Injecting Inconsistencies into Models of PA.

Robert Solovay

Ann. Pure Appl. Log., 1989

1985

Explicit Henkin Sentences.

Robert Solovay

J. Symb. Log., 1985

1978

Erratum: A Fast Monte-Carlo Test for Primality.

Robert Solovay, Volker Strassen

SIAM J. Comput., 1978

1977

A Fast Monte-Carlo Test for Primality.

Robert Solovay, Volker Strassen

SIAM J. Comput., 1977

Definability of Measures and Ultrafilters.

David Pincus, Robert Solovay

J. Symb. Log., 1977

1976

On Sets Cook-Reducible to Sparse Sets.

Robert Solovay

SIAM J. Comput., 1976

1975

Relativizations of the P =? NP Question.

Theodore P. Baker, John Gill, Robert Solovay

SIAM J. Comput., 1975

On Partitions into Stationary Sets.

Karel Prikry, Robert Solovay

J. Symb. Log., 1975