Switch to: References

Add citations

You must login to add citations.
  1. Borel ideals vs. Borel sets of countable relations and trees.Samy Zafrany - 1989 - Annals of Pure and Applied Logic 43 (2):161-195.
  • Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
  • Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy.L. Hay - 1975 - Annals of Mathematical Logic 8 (3):297.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Bibliography of Hao Wang.Marie Grossi, Montgomery Link, Katalin Makkai & Charles Parsons - 1998 - Philosophia Mathematica 6 (1):25-38.
    A listing is given of the published writings of the logician and philosopher Hao Wang , which includes all items known to the authors, including writings in Chinese and translations into other languages.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the effective ω‐rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Recursive well-founded orderings.Keh-Hsun Chen - 1978 - Annals of Mathematical Logic 13 (2):117-147.
  • From index sets to randomness in ∅ n : random reals and possibly infinite computations. Part II.Verónica Becher & Serge Grigorieff - 2009 - Journal of Symbolic Logic 74 (1):124-156.
    We obtain a large class of significant examples of n-random reals (i.e., Martin-Löf random in oracle $\varphi ^{(n - 1)} $ ) à la Chaitin. Any such real is defined as the probability that a universal monotone Turing machine performing possibly infinite computations on infinite (resp. finite large enough, resp. finite self-delimited) inputs produces an output in a given set O ⊆(ℕ). In particular, we develop methods to transfer $\Sigma _n^0 $ or $\Pi _n^0 $ or many-one completeness results of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark