Miguel Vitorino 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
- 0 votos
Realidades aleatorias y aleatoriedad Martin-Löf
el 26 de Mayo, 2014 0 votos - 3 votos
¿Todos los infinitos $\Sigma^1_1$ conjunto tienen un infinito $\Delta^1_1$ ¿subconjunto?
el 13 de Abril, 2012 3 votos - 1 votos
De lightface $\Sigma^1_1$ en negrita $\mathbf\Delta^1_1$
el 20 de Octubre, 2012 1 votos - 4 votos
Tipos definidos por el orden sin axioma del infinito.
el 11 de Mayo, 2012 4 votos - 7 votos
Gödel del Segundo Teorema de la Incompletitud y Aritméticamente No Definible Teorías
el 13 de Febrero, 2015 7 votos
Etiquetas favoritas
- 5 x lógica
- 4 x la-computabilidad
- 3 x descriptive-conjunto-teórico
- 2 x conjunto-teórico
- 1 x estado-incompleto
- 1 x axiomas-de-peano
- 1 x números-ordinales