Se sabe, por ejemplo, en la respuesta a esta pregunta: ¿Existe un modelo computable de ZFC? que ZFC no tiene un modelo computable. Mi pregunta es: ¿existe un modelo de ZFC para el que la relación de orden sobre la clase de ordinales sea computable?
Modelos computables de los números ordinales
- Preguntado el 9 de Septiembre, 2019
- Cuando se hizo la pregunta
- 542 visitas
- Cuantas visitas ha tenido la pregunta
- 0 Respuestas
- Cuantas respuestas ha tenido la pregunta
- Resuelta
- Estado actual de la pregunta
Preguntas relacionadas
- ¿Existe un modelo computable de ZFC?
- ¿Demostraciones de álgebra lineal en combinatoria?
- ¿Por qué "h" es la notación para los números de clase?
- ¿Qué grupos p finitos son conmutadores de grupos p finitos?
- ¿Son rígidos "casi todos" los grafos fuertemente regulares?
- Declaraciones equivalentes de $(M,P)$ -condiciones genéricas
- Definición de una correspondencia uno a uno
- ¿Esperamos que los ordinales computables suficientemente grandes resuelvan todas las cuestiones de aritmética?
- ¿Se conoce algún ejemplo natural de aceleración de Gödel?
- Grados mínimos de estructuras
- ¿Qué es realmente el poset genérico utilizado en el forzamiento?
Preguntas Destacadas
En nuestra red
- ¿Cómo puedo encontrar la versión de Angular en mi proyecto?
- ¿Qué significa y hace este icono en forma de media luna?
- Excel Add-In Volatility Interpolation Estoy tratando de entender
- Cómo imprimir con el color de página de fondo en Word 2013
- El disco Macintosh HD no se puede desbloquear
- ¿Cómo calcular el área de un triángulo 3D?
- ¿Tener un "mr" en el nombre indicado en mi boleto causará algún problema?
- ¿Cómo puedo enviar un mensaje a todos los jugadores en el servidor de Minecraft?
- Calculate distance between two points, Pythagorean theorem (Euclidean distance)
- Comment exporter les onglets ouverts dans Chrome?
- Magento SOAP C# Anmeldeproblem in Visual Studio 11 (Metro)
