Nebo es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Eliminación de cuantificadores para la teoría de relaciones de equivalencia.
el 8 de Noviembre, 2018 4 votos - 2 resp
¿Es comprobable en$ZFC$ que si$V_\kappa\vDash ZFC$, entonces$\kappa$ es muy inaccesible?
el 16 de Junio, 2018 5 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x conjunto-teórico
- 1 x gran-cardenales
- 1 x lógica
- 1 x model-teoría
- 1 x eliminación-del-cuantificador