Works by Robert Solovay

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by Robert Solovay ( view other items matching `Robert Solovay`, view all matches )
Disambiguations:

Robert M. Solovay [3] Robert Solovay [3]

5 found

Sort by:

See also:

Profile: Robert Solovay (University of California, Berkeley)

William I. Gasarch, Mark G. Pleszkoch & Robert Solovay (1992). Learning Via Queries in [ +, < ]. Journal of Symbolic Logic 57 (1):53-81.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
William I. Gasarch, Mark G. Pleszkoch & Robert Solovay (1992). Learning Via Queries in $\Lbrack +,. Journal of Symbolic Logic 57 (1).
Logic and Philosophy of Logic
Direct download

My bibliography

Export citation
Robert M. Solovay (1985). Explicit Henkin Sentences. Journal of Symbolic Logic 50 (1):91-93.
Hofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this paper, a precise formalization of Hofstadter's notion and then show that true explicit Henkin sentences exist.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
David Pincus & Robert M. Solovay (1977). Definability of Measures and Ultrafilters. Journal of Symbolic Logic 42 (2):179-190.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Karel Prikry & Robert M. Solovay (1975). On Partitions Into Stationary Sets. Journal of Symbolic Logic 40 (1):75-80.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

RSS feed

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy

Works by Robert Solovay ( view other items matching `Robert Solovay`, view all matches )
Disambiguations:

Robert M. Solovay [3] Robert Solovay [3]

Online research in philosophy

Works by Robert Solovay ( view other items matching `Robert Solovay`, view all matches ) Disambiguations: Robert M. Solovay [3]Robert Solovay [3]

Works by Robert Solovay ( view other items matching `Robert Solovay`, view all matches )
Disambiguations:

Robert M. Solovay [3] Robert Solovay [3]