Jonathan es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 4 resp
¿Qué variedades están delimitadas por RP^impar?
el 10 de Junio, 2021 38 votos - 1 resp
Polaco Espacios y el Cubo de Hilbert
el 30 de Agosto, 2016 19 votos - 1 resp
Es la frase "$(A,\in)\models ZFC$" absoluta?
el 17 de Junio, 2016 12 votos - 3 resp
Lo que los colectores están delimitadas por RP^impar?
el 23 de Enero, 2016 28 votos
Últimas Respuestas
- 2 votos
¿Cuántos gráficos contables hay?
el 16 de Marzo, 2011 2 votos - 7 votos
¿Cómo eliminar los símbolos constantes de una teoría de primer orden?
el 2 de Mayo, 2017 7 votos - 34 votos
Teoremas a cambio de nada (y las pruebas gratis)
el 13 de Noviembre, 2009 34 votos - 2 votos
Cálculo proposicional: ¿La compacidad implica la completitud?
el 9 de Abril, 2012 2 votos - 5 votos
El conjunto de todas las secuencias finitas de miembros de un conjunto contable es también contable
el 24 de Junio, 2012 5 votos - 4 votos
Si $|X|=|Y|=|X-Y|=\kappa$, podemos encontrar un bijection en $X$ que corrige $Y$ sólo?
el 2 de Abril, 2011 4 votos - 5 votos
prueba de que la unión de una secuencia de conjuntos contables es contable.
el 14 de Diciembre, 2011 5 votos
Etiquetas favoritas
- 18 x conjunto-teórico
- 15 x elementary-conjunto-teórico
- 12 x lógica
- 6 x cardenales
- 5 x axioma-de-la-opción
- 3 x la-computabilidad
- 3 x matemáticas