From owner-qed Sun Nov 6 13:47:41 1994 Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id NAA09232 for qed-out; Sun, 6 Nov 1994 13:46:28 -0600 Received: from SAIL.Stanford.EDU (SAIL.Stanford.EDU [36.28.0.130]) by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id NAA09227 for ; Sun, 6 Nov 1994 13:46:23 -0600 Received: by SAIL.Stanford.EDU (5.65/25-SAIL-eef) id AA19995; Sun, 6 Nov 1994 11:46:16 -0800 Date: Sun, 6 Nov 1994 11:46:16 -0800 From: John McCarthy Message-Id: <9411061946.AA19995@SAIL.Stanford.EDU> To: debruijn@win.tue.nl Cc: qed@mcs.anl.gov In-Reply-To: (debruijn@win.tue.nl) Subject: Re: Intuition about Freiling's axiom Reply-To: jmc@cs.stanford.edu Sender: owner-qed@mcs.anl.gov Precedence: bulk For the arguments in favor of Freiling's axiom, I have to refer you to his paper "Axioms of Symmetry: Throwing Darts at the Real Number Line" by Chris Freiling. Journal of Symbolic Logic, March 1986. I only remark that his idea was that we have intuitions about the real numbers specifically, as well as about sets in general.