Respuestas del usuario 20104

Puntuación Visitas Fecha
Avatar de Ian Terrell

3 votos

Estructuras autocontenidas

Respondido el 24 de Marzo, 2013 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

12 votos

¿Qué es el espectro de posibles cofinality tipos de cortes en un orden de campo? O en un modelo de la hyperreals? O en un modelo no estándar de la aritmética?

Respondido el 11 de Agosto, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

11 votos

Modelos incontables de la teoría de conjuntos de Kelley-Morse con sólo un número contable de conjuntos

Aceptada
Respondido el 15 de Julio, 2016 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

12 votos

¿Es la teoría de Kripke Platek finitamente axiomatizable?

Aceptada
Respondido el 9 de Abril, 2017 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

8 votos

Generalización de los conjuntos de Vitali a los selectores de subgrupos densos incontables...

Respondido el 8 de Julio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

10 votos

¿La no mensurabilidad de Lebesgue/Borel se debe en realidad a la no unicidad?

Aceptada
Respondido el 4 de Julio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

6 votos

Singletons finitamente anidados y el axioma de regularidad

Respondido el 9 de Junio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

8 votos

¿Prueba ZFC que el universo es linealmente ordenable?

Respondido el 27 de Octubre, 2012 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

47 votos

¿Qué axiomas se utilizan para demostrar los Teoremas de Incompletitud de Godel?

Aceptada
Respondido el 6 de Enero, 2013 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

26 votos

¿Existen ejemplos de enunciados demostrados cuyas pruebas de consistencia sean anteriores a sus pruebas?

Aceptada
Respondido el 25 de Julio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

23 votos

Similitudes entre el problema de Post y el forzamiento de Cohen

Aceptada
Respondido el 8 de Marzo, 2013 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

7 votos

campos ordenados con la propiedad de valor limitado

Aceptada
Respondido el 28 de Julio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

20 votos

Medio Cantor-Bernstein sin elección

Respondido el 19 de Mayo, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

22 votos

¿Podemos encontrar puntos fijos fuertes en el lema de punto fijo del teorema de incompletitud de Gödel, es decir, donde el punto fijo es sintácticamente idéntico a su instancia de sustitución en lugar

Respondido el 11 de Abril, 2012 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

4 votos

T-uples finitas y el axioma de Regularidad

Aceptada
Respondido el 9 de Junio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

14 votos

Exhaustividad frente a compacidad en lógica

Respondido el 26 de Junio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

16 votos

Aritmética alternativa

Aceptada
Respondido el 3 de Junio, 2011 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

16 votos

Caracterización topológica del intervalo cerrado $[0,1]$

Respondido el 6 de Marzo, 2013 por Ian Terrell
q2astack::content.general.tags :
Avatar de Ian Terrell

5 votos

¿Cuáles son las demostraciones más elegantes que has aprendido de MO?

Respondido el 25 de Julio, 2011 por Ian Terrell
q2astack::content.general.tags :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X