Jose Villada es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Si $T$ prueba $\operatorname{Con}(ZFC)$, es $T$ por lo menos tan fuerte como teoría de conjuntos?
el 5 de Mayo, 2017 6 votos
Últimas Respuestas
- 0 votos
Conjuntos de Cantor en conjuntos perfectos en los números reales
el 4 de Julio, 2015 0 votos - 2 votos
¿Se puede quitar el principio de explosión de lógica constructiva?
el 22 de Mayo, 2012 2 votos - 10 votos
¿Qué es un constructiva prueba de $\lnot\lnot(P\vee\lnot P)$?
el 3 de Mayo, 2012 10 votos
Etiquetas favoritas
- 3 x lógica
- 2 x matemáticas-constructivas
- 1 x lógica-proposicional
- 1 x estado-incompleto
- 1 x meta-matemáticas
- 1 x solicitud-de-referencia
- 1 x real-analysis