laci es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 5 resp
Ejemplos de declaraciones con una alta complejidad cuantificadora
el 15 de Diciembre, 2019 35 votos
Últimas Respuestas
- 11 votos
Argumentos contra los grandes cardenales
el 8 de Enero, 2019 11 votos - 6 votos
¿Existe un ordinal computable que codifique la fuerza de prueba de ZF? ¿Es conocible?
el 13 de Agosto, 2017 6 votos
Etiquetas favoritas
- 3 x matemáticas
- 2 x lo.lógica
- 1 x conjunto-teórico
- 1 x números-ordinales
- 1 x análisis-ordinal
- 1 x model-teoría
- 1 x descriptive-conjunto-teórico