On Partitions into Stationary Sets. - Karel Prikry; Robert Solovay (J. Symb. Log., 1975)

Relativizations of the P =? NP Question. - Theodore P. Baker; John Gill; Robert Solovay (SIAM J. Comput., 1975)

On Sets Cook-Reducible to Sparse Sets. - Robert Solovay (SIAM J. Comput., 1976)

Definability of Measures and Ultrafilters. - David Pincus; Robert Solovay (J. Symb. Log., 1977)

A Fast Monte-Carlo Test for Primality. - Robert Solovay; Volker Strassen (SIAM J. Comput., 1977)

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

Explicit Henkin Sentences. - Robert Solovay (J. Symb. Log., 1985)

Injecting Inconsistencies into Models of PA. - Robert Solovay (Ann. Pure Appl. Log., 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)

Learning Via Queries in [+, <]. - William I. Gasarch; Mark G. Pleszkoch; Robert Solovay (COLT, 1990)

When Oracles Do Not Help. - Theodore A. Slaman; Robert Solovay (COLT, 1991)

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

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

A Version of Ω for which ZFC Cannot Predict a Single Bit. - Robert M. Solovay (Finite Versus Infinite, 2000)

Some new results on decidability for elementary algebra and geometry. - Robert Solovay; R. D. Arthan; John Harrison 001 (Ann. Pure Appl. Log., 2012)

Strong measure zero and infinite games. - Fred Galvin; Jan Mycielski; Robert Solovay (Arch. Math. Log., 2017)