121
Reputación
Reputación
Nombre : bksunday
Miembro desde : 29 de Enero, 2016
bksunday es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Ultraproductos y compactificación de las álgebras de Lindenbaum
el 27 de Septiembre, 2018 3 votos - 1 resp
Igualdad de conjuntos de isomorfismos locales entre relaciones
el 26 de Diciembre, 2015 2 votos - 2 resp
¿Cuándo se cumplen las leyes de DeMorgan en un álgebra de Heyting?
el 25 de Diciembre, 2015 1 votos - 2 resp
¿Es una base para una topología dada siempre cerrada bajo intersecciones finitas?
el 25 de Diciembre, 2015 4 votos - 1 resp
La transferencia de los principios en la reducción de los productos y el axioma de elección
el 5 de Enero, 2019 4 votos - 1 resp
- 1 resp
Comprender la convergencia en el espacio de las teorías completas
el 1 de Octubre, 2018 7 votos
Últimas Respuestas
- 2 votos
¿Por qué usar el término 'modelos' para interpretar el símbolo de doble torniquete?
el 24 de Julio, 2018 2 votos - 5 votos
Ultrafilter la Prueba del teorema de Compacidad
el 30 de Julio, 2017 5 votos - 8 votos
¿En qué sentido es lógica proposicional "cero-el fin de la lógica?"
el 14 de Octubre, 2017 8 votos - 3 votos
¿Sigue de Gödel ' teorema s que este mundo no se puede describir completamente por matemáticas?
el 24 de Julio, 2018 3 votos - 90 votos
¿Por qué se puede definir un número real como un corte Dedekind, es decir, como un conjunto de números racionales?
el 9 de Julio, 2018 90 votos - 10 votos
Libros de texto de lógica de matemática nivel posgrado
el 18 de Octubre, 2017 10 votos - 2 votos
Etiquetas favoritas
- 11 x lógica
- 7 x model-teoría
- 3 x abstract-algebra
- 3 x first-order-lógica
- 2 x pregunta-teórica
- 2 x cálculo
- 2 x suma
