2819
Reputación
Reputación
Nombre : godelian
Miembro desde : 11 de Septiembre, 2019
godelian es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Sobre el teorema de integridad de Joyal para la lógica de primer orden
el 24 de Febrero, 2020 24 votos - 5 resp
¿Por qué la meraología no ha tenido éxito como alternativa a la teoría de conjuntos?
el 15 de Septiembre, 2019 74 votos
Últimas Respuestas
- 21 votos
Aplicaciones de la Lógica Categórica a la Lógica
el 7 de Marzo, 2024 21 votos - 12 votos
¿Existe un espacio de Banach infinito-dimensional con una bola unitaria compacta?
el 11 de Octubre, 2011 12 votos - 7 votos
Uniones contables y el axioma de elección contable
el 18 de Septiembre, 2011 7 votos - 6 votos
¿Por qué la categoría de conjuntos definibles de $T^\mathrm{eq}$ ¿tienen coproductos?
el 20 de Marzo, 2022 6 votos - 23 votos
La categoría de categorías como fundamento de las matemáticas
el 15 de Febrero, 2011 23 votos - 2 votos
Temas interesantes y accesibles de la teoría de grafos
el 10 de Mayo, 2011 2 votos - 6 votos
Problemas en los que no podemos hacer una elección canónica, que se resuelven mirando todas las opciones a la vez
el 17 de Febrero, 2011 6 votos
Etiquetas favoritas
- 15 x matemáticas
- 5 x lo.logic
- 3 x categorical-logic
- 3 x set-theory
- 2 x axiom-of-choice
- 2 x fundaciones
- 2 x conjunto-teórico
