Freiling's axiom of symmetry

This is an old revision of this page, as edited by 168.210.90.131 (talk) at 16:37, 28 December 2002. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Axiom proposed by Chris Freiling, referred to as AX. If AX is accepted then the Continuum Hypothesis does not hold.

Let A be the set of functions mapping real numbers into countable sets of real numbers. Given a function f in A, and some arbitrary real numbers x and y, it is generally held that that x is in f(y) with probability 0, i.e. x is not in f(y) with probability 1. Similarly, y is not in f(x) with probability 1. AX states: for every f in A, there exist x and y such that x is not in f(y) and y is not in f(x).