4 found
Sort by:
  1. Chris Freiling (1995). How to Compute Antiderivatives. Bulletin of Symbolic Logic 1 (3):279-316.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Chris Freiling & T. H. Payne (1988). Some Properties of Large Filters. Journal of Symbolic Logic 53 (4):1027-1035.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Chris Freiling (1986). Axioms of Symmetry: Throwing Darts at the Real Number Line. Journal of Symbolic Logic 51 (1):190-200.
    We will give a simple philosophical "proof" of the negation of Cantor's continuum hypothesis (CH). (A formal proof for or against CH from the axioms of ZFC is impossible; see Cohen [1].) We will assume the axioms of ZFC together with intuitively clear axioms which are based on some intuition of Stuart Davidson and an old theorem of Sierpinski and are justified by the symmetry in a thought experiment throwing darts at the real number line. We will in fact show (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Chris Freiling (1984). Banach Games. Journal of Symbolic Logic 49 (2):343-375.
    Banach introduced the following two-person, perfect information, infinite game on the real numbers and asked the question: For which sets $A \subseteq \mathbf{R}$ is the game determined????? Rules: The two players alternate moves starting with player I. Each move a n is legal iff it is a real number and $0 , and for $n > 1, a_n . The first player to make an illegal move loses. Otherwise all moves are legal and I wins iff ∑ a n exists (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation