Levon Haykazyan es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Una técnica para decidir satisfiability en los fragmentos de la lógica de primer orden
el 19 de Marzo, 2018 4 votos - 2 resp
Complejidad del conjunto de ordinales computables
el 12 de Diciembre, 2016 7 votos
Últimas Respuestas
- 3 votos
¿Cuántos conjuntos máximos coherentes hay en un $\mathscr{FOL}$
el 28 de Junio, 2012 3 votos - 3 votos
La teoría estable es NIP
el 22 de Octubre, 2016 3 votos - 2 votos
Suma de subconjuntos
el 20 de Septiembre, 2012 2 votos - 4 votos
¿Cómo se HORNSAT equivalente a 2SAT?
el 2 de Noviembre, 2011 4 votos - 2 votos
Aislado los tipos en un ACF en un subcampo, en uno y dimensiones superiores
el 8 de Agosto, 2017 2 votos - 2 votos
Estimando para Baldwin Lachlan
el 16 de Enero, 2014 2 votos - 11 votos
Demostrar que una función es continua para todos los números reales
el 5 de Diciembre, 2011 11 votos
Etiquetas favoritas
- 13 x model-teoría
- 12 x lógica
- 3 x números-ordinales
- 3 x elementary-conjunto-teórico
- 2 x first-order-lógica
- 2 x la-computabilidad
- 2 x pregunta-teórica