Tanto como yo sospechaba, no hay ningún conjunto específico de que se puede escribir en detalles explícitos que los testigos del fracaso de $\sf CH$ en el caso de que el axioma de simetría tiene.
Lo siguiente es tomado de la siguiente papel,
Galeno Weitkamp, El $\Sigma^1_2$ Teoría de los Axiomas de la Simetría. El Diario de la Lógica Simbólica, Vol. 54, Nº 3, (Sep., 1989), pp 727-734.
En lugar de los números reales, podemos utilizar las secuencias binarias, y ya podemos codificar contables secuencias como los números reales podemos pensar acerca de cada número de la codificación de una secuencia (y, por tanto, un conjunto). Tenga en cuenta que es importante que nos codificar secuencias, porque vamos a tratar con los modelos donde se $\{A\subseteq\Bbb R\mid |A|=\aleph_0\}$ tiene cardinalidad estrictamente mayor que el de la continuidad.
Para cada número real $x$, vamos a $x_n$ $n$- ésimo número de la secuencia codificada por $x$.
Deje $\Gamma$ ser un pointclass (una colección de conjuntos)$2^\omega$, $A(\Gamma)$ abreviar la declaración de si $f\colon2^\omega\to2^\omega$ y la gráfica de $f$$\Gamma$, entonces no se $x,y$ tal que para cada $n$, $$y\neq f(x)_n\land x\neq f(y)_n.$$
En otras palabras, ni la $x$ ni $y$ aparecen en la secuencia codificada por el otro.
La primera teorema de Weitkamp demuestra es que en $\sf ZFC$ es cierto que $A(\bf\Sigma^1_1)$ mantiene, donde $\bf\Sigma^1_1$ es la clase de análisis conjuntos (imagen continua de los conjuntos de Borel).
Posteriormente se demuestra el siguiente teorema:
Si $\Gamma$ es una "razonable" pointclass tal que $A\in\Gamma$ implica que el $A$ es Lebesgue medible, entonces en $\sf ZF+DC$ es cierto que $A(\Gamma)$ mantiene.
Si asumimos que la consistencia de la inaccesibles cardenales, a continuación, dos consecuencias son estas:
- Es compatible con $\sf ZFC$ que no "perfectamente descriptible conjunto de" formas un contraejemplo a$\sf CH$, incluso si el axioma de simetría tiene.
- Es compatible con $\sf ZF+DC$ que todos los conjuntos son Lebesgue medibles, y por lo tanto, el axioma de simetría tiene, pero no hay una que tiene cardinalidad estrictamente entre los enteros y los números reales.
Por lo tanto, realmente no podemos describir una explícita contraejemplo a$\sf CH$, incluso si el axioma de simetría tiene.