5 found
Order:
  1.  12
    A highly efficient "transfinite recursive definitions" axiom for set theory.Robert S. Wolf - 1981 - Notre Dame Journal of Formal Logic 22 (1):63-75.
  2. A Tour through Mathematical Logic.Robert S. Wolf - 2006 - Bulletin of Symbolic Logic 12 (1):141-142.
  3.  7
    A Tour Through Mathematical Logic.Robert S. Wolf - 2004 - Washington, DC, USA: Mathematical Association of America.
    The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  36
    Determinateness of certain almost-borel games.Robert S. Wolf - 1985 - Journal of Symbolic Logic 50 (3):569-579.
    We prove (in ZFC Set Theory) that all infinite games whose winning sets are of the following forms are determined: (1) (A - S) ∪ B, where A is $\Pi^0_2, \bar\bar{S}, 2^{\aleph_0}$ , and the games whose winning set is B is "strongly determined" (meaning that all of its subgames are determined). (2) A Boolean combination of Σ 0 2 sets and sets smaller than the continuum. This also enables us to show that strong determinateness is not preserved under complementation, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Proof, Logic, and Conjecture: The Mathematician's Toolbox.Robert S. Wolf - 1997 - W. H. Freeman.
    This text is designed to teach students how to read and write proofs in mathematics and to acquaint them with how mathematicians investigate problems and formulate conjecture.
    Direct download  
     
    Export citation  
     
    Bookmark