electroducer es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Justo y Weese II ejercicio 13.20
el 28 de Enero, 2019 4 votos - 2 resp
Kunen ejercicio III.8.21
el 3 de Diciembre, 2016 7 votos
Últimas Respuestas
- 2 votos
Introducción de pares ordenados de forma axiomática.
el 22 de Diciembre, 2013 2 votos - 2 votos
$H(\kappa)$ un modelo de todos los axiomas de ZFC para $\kappa$ no inaccesible
el 10 de Diciembre, 2014 2 votos - 2 votos
Modelo de extensión completa de la teoría de conjuntos de Zermelo
el 29 de Junio, 2014 2 votos - 3 votos
Para un conjunto verdadero completo $T$ es un modelo contable transitivo que satisface $T$ ¿único?
el 23 de Septiembre, 2014 3 votos - 2 votos
¿Cuándo siguen siendo conjuntos las clases de equivalencia extensional?
el 7 de Octubre, 2014 2 votos - 3 votos
La construcción de una función cuyo dominio es $\omega$ usando sucesor operación de forma recursiva
el 14 de Noviembre, 2014 3 votos - 2 votos
La prueba de la "Si $ZFC$ demuestra que existe un cardinal inaccesible, a continuación, $ZFC$ es incoherente".
el 2 de Septiembre, 2014 2 votos
Etiquetas favoritas
- 22 x conjunto-teórico
- 7 x lógica
- 3 x axioma
- 3 x obligando-a
- 3 x cardenales
- 3 x model-teoría
- 2 x solicitud-de-referencia