16 found
Order:
  1.  34
    Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
  2.  12
    Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  3. Definability of Measures and Ultrafilters.David Pincus & Robert M. Solovay - 1977 - Journal of Symbolic Logic 42 (2):179-190.
  4.  7
    Injecting Inconsistencies Into Models of Pa.Robert M. Solovay - 1989 - Annals of Pure and Applied Logic 44 (1-2):101-132.
  5.  8
    On the Cardinality of\ Sum_2^ 1 Sets of Reals.Robert M. Solovay - 1969 - In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York: Springer. pp. 58--73.
  6.  13
    On the Cardinality of Σ1/2 Sets of Reals.Robert M. Solovay - 1974 - Journal of Symbolic Logic 39 (2):330-330.
  7.  89
    Collected Works of Kurt Godel 1938-1974.Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort - 1991 - Journal of Symbolic Logic 56 (3):1085.
  8.  24
    On Partitions Into Stationary Sets.Karel Prikry & Robert M. Solovay - 1975 - Journal of Symbolic Logic 40 (1):75-80.
  9. Kurt Gödel: Collected Works, Vol. I: Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1998 - Mind 107 (425):219-232.
  10.  2
    New Proof of a Theorem of Gaifman and Hales.Robert M. Solovay - 1967 - Journal of Symbolic Logic 32 (1):132-132.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Collected Works, Volume I, Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1987 - Mind 96 (384):570-575.
     
    Export citation  
     
    Bookmark  
  12.  17
    Some New Results on Decidability for Elementary Algebra and Geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
    We carry out a systematic study of decidability for theories of real vector spaces, inner product spaces, and Hilbert spaces and of normed spaces, Banach spaces and metric spaces, all formalized using a 2-sorted first-order language. The theories for list turn out to be decidable while the theories for list are not even arithmetical: the theory of 2-dimensional Banach spaces, for example, has the same many-one degree as the set of truths of second-order arithmetic.We find that the purely universal and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  10
    Strong Measure Zero and Infinite Games.Fred Galvin, Jan Mycielski & Robert M. Solovay - 2017 - Archive for Mathematical Logic 56 (7-8):725-732.
    We show that strong measure zero sets -totally bounded metric space) can be characterized by the nonexistence of a winning strategy in a certain infinite game. We use this characterization to give a proof of the well known fact, originally conjectured by K. Prikry, that every dense \ subset of the real line contains a translate of every strong measure zero set. We also derive a related result which answers a question of J. Fickett.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  25
    Explicit Henkin Sentences.Robert M. Solovay - 1985 - 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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  2
    A Nonconstructible $\bigtriangleup_{3}^{1}$ Set of Integers.Robert M. Solovay - 1971 - Journal of Symbolic Logic 36 (2):340-340.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  2
    Infinite Fixed-Point Algebras.Robert M. Solovay - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--473.