Rick es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Utilizar una extensión de forzamiento $V[G]$ para determinar las propiedades de $V$ .
el 27 de Abril, 2019 5 votos - 1 resp
¿Existe un modelo contable transitivo que satisfaga el mismo conjunto de sentencias de primer orden que $V$ ?
el 1 de Enero, 2019 3 votos - 2 resp
¿Un problema de ajedrez en "El infinito superior" de Kanamori?
el 16 de Octubre, 2018 4 votos - 2 resp
Para un conjunto verdadero completo $T$ es un modelo contable transitivo que satisface $T$ ¿único?
el 17 de Agosto, 2018 3 votos - 1 resp
Hay gran cardenal propiedades del punto crítico de una $j: L \longrightarrow L$?
el 8 de Junio, 2018 4 votos - 1 resp
¿Qué es el * exacta * fuerza de consistencia de $MK$?
el 3 de Junio, 2018 7 votos - 1 resp
¿Puede haber un modelo transitivo contable que satisfaga la misma teoría$MK$ como$V$?
el 14 de Octubre, 2017 4 votos
Últimas Respuestas
- 3 votos
¿Hay algún fundamento en el que el universo mismo se amplíe dinámicamente?
el 11 de Septiembre, 2013 3 votos - 3 votos
Gran cardenal y consistencia: ¿cuáles son los principales resultados hoy en día?
el 14 de Septiembre, 2013 3 votos
Etiquetas favoritas
- 10 x conjunto-teórico
- 6 x gran-cardenales
- 3 x model-teoría
- 3 x solicitud-de-referencia
- 2 x lógica
- 2 x pregunta-teórica
- 1 x fundaciones