DS. es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Los modelos finitos son atómicos
el 13 de Abril, 2017 2 votos - 3 resp
Undefinability de nivelación de primer orden de la lógica
el 16 de Marzo, 2018 4 votos - 1 resp
Lista finita de fórmulas no absolutas para cualquier conjunto
el 6 de Octubre, 2017 6 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x conjunto-teórico
- 1 x lógica
- 1 x model-teoría
- 1 x predicate-lógica
- 1 x logic
- 1 x model-theory