Perfil de user389821

Últimas Preguntas

• 1 resp

  Pregunta de seguimiento sobre fórmulas de primer orden en idiomas de primer orden y fórmulas abiertas.

  el 22 de Octubre, 2017 3 votos
• 1 resp

  Fórmula para el producto de exponenciales, conmutador de matriz, convergente secuencia.

  el 5 de Octubre, 2017 2 votos
• 2 resp

  ¿Existe el primer orden fórmula $Z(x)$ $\langle 0, +, \le\rangle$ de la lengua sobre el campo $\mathbb{Q}$ expresa el hecho de que $x$ es entero?

  el 18 de Junio, 2017 6 votos
• 1 resp

  ¿Fórmula de primer orden en el lenguaje de primer orden, otro lenguaje abierto donde verdadera equivalencia en los productos naturales?

  el 18 de Mayo, 2017 4 votos
• 1 resp

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

  el 12 de Mayo, 2017 3 votos