21 found
Sort by:
  1. Noam Greenberg & Saharon Shelah (forthcoming). Models of Cohen Measurability. Annals of Pure and Applied Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Chris Conidis, Noam Greenberg & Daniel Turetsky (2013). Galvin’s “Racing Pawns” Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle. Notre Dame Journal of Formal Logic 54 (2):233-252.
    We show that the fact that the first player wins every instance of Galvin’s “racing pawns” game is equivalent to arithmetic transfinite recursion. Along the way we analyze the satisfaction relation for infinitary formulas, of “internal” hyperarithmetic comprehension, and of the law of excluded middle for such formulas.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Noam Greenberg, Antonio Montalbán & Theodore A. Slaman (2013). Relative to Any Non-Hyperarithmetic Set. Journal of Mathematical Logic 13 (1):1250007.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Anuj Dawar Colyvan, Noam Greenberg, Rahim Moosa, Ernest Schimmerling & Alex Simp (2012). Ny 12604, Usa. Bulletin of Symbolic Logic 18 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Anuj Dawar Colyvan, Marcelo Fiore, Noam Greenberg, Hannes Leitgeb, Rahim Moosa, Ernest Schimmerling, Carsten Schürmann & Kai Wehmeier (2011). College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW] Bulletin of Symbolic Logic 17 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Noam Greenberg (2011). A Random Set Which Only Computes Strongly Jump-Traceable C.E. Sets. Journal of Symbolic Logic 76 (2):700 - 718.
    We prove that there is a ${\mathrm{\Delta }}_{2}^{0}$ , 1-random set Y such that every computably enumerable set which is computable from Y is strongly jump-traceable. We also show that for every order function h there is an ω-c.e. random set Y such that every computably enumerable set which is computable from Y is h-jump-traceable. This establishes a correspondence between rates of jump-traceability and computability from ω-c.e. random sets.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Noam Greenberg & André Nies (2011). Benign Cost Functions and Lowness Properties. Journal of Symbolic Logic 76 (1):289 - 312.
    We show that the class of strongly jump-traceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of well-behaved cost functions, called benign. This characterisation implies the containment of the class of strongly jump-traceable c.e. Turing degrees in a number of lowness classes, in particular the classes of the degrees which lie below incomplete random degrees, indeed all LR-hard random degrees, and all ω-c.e. random degrees. The last result implies recent results of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Mark Colyvan Burgess, Anuj Dawar, Marcelo Fiore, Noam Greenberg & Hannes Leitgeb (2010). The Association for Symbolic Logic Publishes Analytical Reviews of Selected Books and Articles in the Field of Symbolic Logic. The Reviews Were Published in The Journal of Symbolic Logic From the Founding of the Journal in 1936 Until the End of 1999. The Association Moved the Reviews to This Bulletin, Beginning in 2000. The Reviews Section is Edited by Steve Awodey (Managing Editor), John Baldwin, John. [REVIEW] Bulletin of Symbolic Logic 16 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Mark Colyvan Burgess, Anuj Dawar, Marcelo Fiore, Noam Greenberg, Hannes Leitgeb, Ernest Schimmerling, Carsten Schürmann & Kai Wehmeier (2010). College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW] Bulletin of Symbolic Logic 16 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Noam Greenberg & Joseph S. Miller (2009). Lowness for Kurtz Randomness. Journal of Symbolic Logic 74 (2):665-678.
    We prove that degrees that are low for Kurtz randomness cannot be diagonally non-recursive. Together with the work of Stephan and Yu [16], this proves that they coincide with the hyperimmune-free non-DNR degrees, which are also exactly the degrees that are low for weak 1-genericity. We also consider Low(M, Kurtz), the class of degrees a such that every element of M is a-Kurtz random. These are characterised when M is the class of Martin-Löf random, computably random, or Schnorr random reals. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Verónica Becher, C. T. Chong, Rod Downey, Noam Greenberg, Antonin Kucera, Bjørn Kjos-Hanssen, Steffen Lempp, Antonio Montalbán, Jan Reimann & Stephen Simpson (2008). Conference on Computability, Complexity and Randomness. Bulletin of Symbolic Logic 14 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Rod Downey, Noam Greenberg & Joseph S. Miller (2008). The Upward Closure of a Perfect Thin Class. Annals of Pure and Applied Logic 156 (1):51-58.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Michael Benedikt, Andreas Blass, Natasha Dobrinen, Noam Greenberg, Denis R. Hirschfeldt, Salma Kuhlmann, Hannes Leitgeb, William J. Mitchell & Thomas Wilke (2007). Gainesville, Florida March 10–13, 2007. Bulletin of Symbolic Logic 13 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Rod Downey, Noam Greenberg & Rebecca Weber (2007). Totally Ω-Computably Enumerable Degrees and Bounding Critical Triples. Journal of Mathematical Logic 7 (02):145-171.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Peter Cholak, Noam Greenberg & Joseph S. Miller (2006). Uniform Almost Everywhere Domination. Journal of Symbolic Logic 71 (3):1057 - 1072.
    We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This answers a question of Dobrinen and Simpson, who showed that such functions are related to the proof-theoretic strength of the regularity of Lebesgue measure for Gδ sets. Our constructions essentially settle the reverse mathematical classification of this principle.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt & Joseph S. Miller (2006). Every 1-Generic Computes a Properly 1-Generic. Journal of Symbolic Logic 71 (4):1385 - 1393.
    A real is called properly n-generic if it is n-generic but not n+1-generic. We show that every 1-generic real computes a properly 1-generic real. On the other hand, if m > n ≥ 2 then an m-generic real cannot compute a properly n-generic real.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Sakae Fuchino, Noam Greenberg & Saharon Shelah (2006). Models of Real-Valued Measurability. Annals of Pure and Applied Logic 142 (1):380-397.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Noam Greenberg, Richard A. Shore & Theodore A. Slaman (2006). The Theory of the Metarecursively Enumerable Degrees. Journal of Mathematical Logic 6 (01):49-68.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Noam Greenberg (2005). The Role of True Finiteness in the Admissible Recursively Enumerable Degrees. Bulletin of Symbolic Logic 11 (3):398-410.
    We show, however, that this is not always the case.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  20. Noam Greenberg, Antonio Montalb�N. & Richard A. Shore (2004). Generalized High Degrees Have the Complementation Property. Journal of Symbolic Logic 69 (4):1200 - 1220.
    We show that if d $\in GH_1$ then D( $\leq$ d) has the complementation property, i.e.. for all a < d there is some b < d such that a $\wedge$ b = 0 and a $\vee$ b = d.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Antonio Montalb�an & Noam Greenberg (2003). Embedding and Coding Below a 1-Generic Degree. Notre Dame Journal of Formal Logic 44 (4):200-216.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation