fnimic es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Pregunta sobre la inexistencia de una fórmula de satisfacción en $\mathbb{L}$
el 20 de Diciembre, 2015 3 votos - 1 resp
Maximizar la suma de productos de la variable binaria
el 18 de Marzo, 2021 9 votos - 1 resp
Teorema de incompletitud y $\mathbb{L}$.
el 16 de Noviembre, 2018 4 votos - 1 resp
Una frase que tiene infinitos modelos, modelo finito, pero ningún modelo finito por encima de cierta cardinalidad
el 17 de Abril, 2018 4 votos - 1 resp
Pregunta sobre las frases existenciales
el 7 de Febrero, 2017 6 votos
Últimas Respuestas
- 7 votos
¿Las estructuras isomorfas siempre satisfacen las mismas oraciones de segundo orden?
el 7 de Julio, 2013 7 votos
Etiquetas favoritas
- 4 x lógica
- 3 x model-teoría
- 2 x conjunto-teórico
- 1 x higher-order-lógica
- 1 x estado-incompleto
- 1 x co.combinatorics
- 1 x las-desigualdades