• Registro

Usuario David Fernández

Antigüedad: 4 años (desde Ago 19, 2013)
Tipo: Editor
Privilegios adicionales: Recategorizar cualquier pregunta
Editar cualquier pregunta
Editar cualquier respuesta
Editar cualquier comentario
Cerrar cualquier pregunta
Seleccionar una respuesta para una pregunta
Aprobar o rechazar entradas
Ocultar o mostrar cualquier publicación
Nombre completo: David Fernández
Ubicación: Ann Arbor, Michigan
Sitio web: http://www-personal.umich.edu/~djfernan/espanol.html
Acerca de mí: Posdoc en la Universidad de Michigan. Mi área de especialización es en Lógica y Teoría de Conjuntos. La mayor parte de mi trabajo se ha enfocado hacia la interacción entre el Teorema de Hindman y la Combinatoria Infinita.

Actividad de David Fernández

Puntos: 15,500 puntos (lugar #5)
Preguntas: 21 (17 con la mejor respuesta elegida)
Respuestas: 65 (20 elegida como la mejor)
Comentarios: 139
Ha votado en: 115 preguntas, 177 respuestas
Otorgados: 290 votos positivos, 2 votos negativos
Recibidos: 177 votos positivos, 0 votos negativos

Muro de David Fernández

Por favor, ingresa o regístrate para publicar en este muro.
Infinitas gracias.
por Palito Velandia Abr 23, 2014
Claro, como bien dices, $\Diamond$ implica HC, por lo cual todo modelo del primero satisface el último. Lo que no es claro desde un principio, es si la implicación contraria es verdadera o no. Para demostrar que no, sería necesario encontrar un modelo donde sí se satisfaga HC pero $\Diamond$ sea falso, y ese es justamente el tipo de modelo que mencioné en mi anterior post (el que necesitó un montón de nuevas ideas para poderse construir).
por David Fernández Dic 22, 2013
Muchas gracias por las recomendaciones, había oído sobre tu artículo pero no me supieron dar bien el dato. Es que me preguntaba eso precisamente, si había alguna proposición del álgebra que fuera indecidible en ZFC; fue una sorpresa encontrarlo de ésta forma. Me da gusto que de la pregunta te hayas preguntado sobre la existencia de un modelo así. Tal vez me falte mucho para entender sobre dinámica de modelos pero, cómo puede haber un modelo así si diamante piensa HC?? (Por cierto el Diablo de los Números ha dado buenos resultados)
por Baron Munchausen Oct 10, 2013
Hola Jan, me alegra enterarme de que se está enseñando teoría de conjuntos a buen nivel en México. Te recomiendo el libro de Kunen ("Set Theory: An introduction to independence proofs"), en el cual verás varias aplicaciones de diamante (entre ellas, diamante implica la existencia de un "árbol de Suslin", yo estaba en proceso de escribir unas notas sobre esta implicación, pero no tengo ni idea de cuándo tendré tiempo de terminarlas). Si te quieres meter más a fondo, existe algo llamado el "problema de Whitehead", que pregunta si todo "grupo de Whitehead" será libre. Diamante implica que todo grupo de Whitehead es libre, y esto lo puedes ver en un artículo de Eklof ("Whitehead's problem is undecidable") o, mejor aún (en español), en mi artículo "Un problema de álgebra que resultó indecidible", bajable en http://math.yorku.ca/~davidfb/whitehead_problema.pdf .
Por cierto, gracias a tu pregunta (cuando mencionas que diamante implica HC) me di cuenta que todos los modelos de HC que conozco, también satisfacen diamante. Así que hoy fui corriendo a preguntarle a mi asesor cómo podía obtener un modelo de HC y no diamante, y al parecer esta es una pregunta muy profunda, que llevó a Jensen a hacer una iteración muy compleja del forzamiento y a Shelah a formular la "Dee-completud". En pocas palabras, gracias a tu pregunta descubrí un nuevo mundo de cosas que leer...
por David Fernández Oct 8, 2013
Hola David, me llamo Jan Arévalo, soy de Toluca. Supe que te gusta la teorìa de conjuntos, yo estoy llevando un tercer curso en la licenciatura. ¿Me podrías ayudar recomendándome alguna lectura donde pueda ver una aplicación del axioma diamante, distinta a la prueba de la implicación de HC?
por Baron Munchausen Oct 7, 2013
Hola a todos. Este año voy a ser el ayudante para un curso de primer año de licenciatura, llamado "Problemas, conjeturas y demostraciones", cuyo objetivo es introducir a los chamacos al pensamiento matemático. Como los problemas que se van dejando de tarea son bastante interesantes, los voy a ir poniendo aquí. Éste es el primero de la serie: http://www.irracional.org/index.php/1500/un-caso-de-parentesco
por David Fernández Sep 22, 2013
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...