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
- 541 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?
- Que los gráficos son de Cayley gráficos?
- ¿Cuál es el ordinal prueba teórica de la teoría de primer orden de campos real cerrados?
- ¿Las matemáticas circulares en la parte inferior? Lo que está en la parte inferior de las matemáticas?
- ¿Cuál es la definición de un conjunto?
- Es el Axioma del Conjunto Vacío canónica axioma de ZFC?
- ¿Gödel se opone a una factible con el Dedo?
- Una pregunta sobre las tesis doctorales en matemáticas
- ¿Buenos libros para aprender Probabilidad Aplicada?
- Si $\alpha\leq \beta,\gamma\leq \delta$ entonces $\alpha+\gamma\leq \beta+\delta$
- Cuánto topología de la teoría de grafos?
Preguntas Destacadas
En nuestra red
- No se pudo procesar el archivo resx debido a que se encuentra en la zona de Internet o Restringida o tiene la marca de la web en el archivo
- Cómo eliminar la cuenta de Google del teléfono con la pantalla rota.
- ¿Por qué los débitos/créditos incrementan/disminuyen activos/ingresos/gastos?
- En modo de pantalla completa de virtualbox, ¿puedo desactivar o mover la barra de menú emergente?
- En Mac, ⌥ S escribe ß (beta). ¿Qué pasa con alpha?
- ¿Cómo podemos asegurarnos de que la línea formada en un plano cartesiano por una ecuación lineal sea siempre recta?
- ¿Qué significa "48 horas antes de la salida"?
- ¿Para qué sirve el tocino?
- Error: Creating variables on a non-first call to a function decorated with tf.function in Keras creating Simple RNN
- Paramètres qui fonctionnent pour Call Recorder Cube ACR sur Google Pixel 8 Pro [aucun audio n'est enregistré]
- Wie starte ich Selenium IDE von der Befehlszeile aus mit einem bestimmten Testfall geladen?
