Switch to: Citations

Add references

You must login to add references.
  1. Axioms of symmetry: Throwing darts at the real number line.Chris Freiling - 1986 - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • A Note on Real Subsets of A Recursively Saturated Model.Athanassios Tzouvaras - 1991 - Mathematical Logic Quarterly 37 (13-16):207-216.
    Download  
     
    Export citation  
     
    Bookmark   4 citations