japhet mlay es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Criterio para la consistencia de los sistemas de tipos puros
el 14 de Junio, 2021 7 votos
Últimas Respuestas
- 1 votos
Criterio para la consistencia de los sistemas de tipos puros
el 9 de Junio, 2021 1 votos - 4 votos
Declaraciones en geometría diferencial independientes de ZFC
el 27 de Enero, 2023 4 votos
Etiquetas favoritas
- 2 x matemáticas
- 1 x dg.differential-geometry
- 1 x set-theory
- 1 x lo.logic
- 1 x big-list
- 1 x foundations
- 1 x proof-theory