Hans Halvorson es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Rotación irracional - tiempos de recurrencia
el 19 de Septiembre, 2019 10 votos
Últimas Respuestas
- 4 votos
Monomorfismos y epimorfismos en la categoría de álgebras booleanas
el 18 de Diciembre, 2013 4 votos - 3 votos
Relaciones entre teorías y categorías
el 29 de Julio, 2014 3 votos - 4 votos
¿Existe una interpretación lógica para igualador y coigualador?
el 5 de Abril, 2014 4 votos - 5 votos
¿Hay alguna manera formal de describir la lógica clásica como una subcategoría reflexiva de la lógica constructiva?
el 22 de Julio, 2014 5 votos
Etiquetas favoritas
- 4 x category-teoría
- 3 x lógica
- 1 x matemáticas-constructivas
- 1 x lógica-proposicional
- 1 x sheaf-teoría
- 1 x universal-de-la-propiedad
- 1 x model-teoría