Morgan Sinclaire es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Cómo sabemos que la AP es incomparable con la ARP + $\epsilon_0$ ?
el 9 de Junio, 2019 8 votos
Últimas Respuestas
- 3 votos
ordinal teórico de la prueba para la aritmética de Robinson
el 24 de Septiembre, 2018 3 votos
Etiquetas favoritas
- 2 x lógica
- 1 x proof-teoría
- 1 x axiomas-de-peano
- 1 x análisis-ordinal