3 votos

¿Dos recurrentemente sistemas enumerable $A$ y $B$ tal que ninguno de Unión, intersección, resta el otro es recurrente?

Estaba leyendo las dos preguntas planteadas aquí y aquí y sus respuestas, y mi pregunta aquí es motivado por ellos.

¿Existen $2$ recursivamente enumerable conjuntos de $A$ $B$ donde ninguno de los $4$ conjuntos de$$A \cap B, \quad A \cup B, \quad A - B, \quad B - A$$es recursivo?

1voto

sewo Puntos 58

Que $S$ ser su r.e. favorito pero no recursiva configurar y considerar $$ A = \{4n+1\mid n\in S\} \cup \{4n+2\mid n\in S\} \\ B = \{4n+2\mid n\in S\} \cup \{4n+3\mid n\in S\} $$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X