Athar Abdul-Quader es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 6 votos
¿Pueden tener dos modelos diferentes de la aritmética no comparables vistas de la aritmética de peano?
el 31 de Mayo, 2018 6 votos - 7 votos
Modelos no isomórficos de PA con grupos de automorfismo isomórficos
el 5 de Septiembre, 2016 7 votos - 9 votos
Declaración comprobable para todos los parámetros, pero no demostrable cuando cuantificado
el 7 de Septiembre, 2016 9 votos
Etiquetas favoritas
- 3 x lógica
- 3 x axiomas-de-peano
- 2 x model-teoría
- 1 x estado-incompleto
- 1 x demostrabilidad;-comprobabilidad
- 1 x proof-teoría
- 1 x meta-matemáticas