user32916 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Surreales y NSA: algunas cuestiones fundamentales
el 12 de Junio, 2021 7 votos
Últimas Respuestas
- 8 votos
Forzar como herramienta para probar teoremas
el 17 de Noviembre, 2010 8 votos - 5 votos
Teoría de conjuntos no ZFC y no unicidad de los hiperreales: ¿problema resuelto?
el 17 de Abril, 2013 5 votos
Etiquetas favoritas
- 3 x matemáticas
- 2 x conjunto-teórico
- 1 x lo.lógica
- 1 x no-estándar-de-análisis-de
- 1 x model-teoría
- 1 x forzado
- 1 x lo.logic