Tópicos Avanzados de Lógica (I-2008) http://topavlog08.wordpress.com Thu, 05 Jun 2008 04:18:00 +0000 http://wordpress.com/ es hourly 1 http://www.gravatar.com/blavatar/6b5f2ea62ed68029be4ca016d0d47b69?s=96&d=http://s.wordpress.com/i/buttonw-com.png Tópicos Avanzados de Lógica (I-2008) http://topavlog08.wordpress.com Nuevos textos de exposición http://topavlog08.wordpress.com/2008/06/05/nuevos-textos-de-exposicion/ http://topavlog08.wordpress.com/2008/06/05/nuevos-textos-de-exposicion/#comments Thu, 05 Jun 2008 04:18:00 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=60 ]]>

En la pestaña “expos” están textos que me han mandado recientemente. Solo faltan los de Jorge Cely y Pedro Zambrano. También faltan correcciones de Fabio Chacón y Sebastián Goodburn. Han sido muy interesantes las exposiciones hasta ahora – pero no olviden escribir los textos y/o corregir los que aún deben trozos.

]]> http://topavlog08.wordpress.com/2008/06/05/nuevos-textos-de-exposicion/feed/ 0 avillavecesn las dos sesiones que faltan: miércoles y jueves http://topavlog08.wordpress.com/2008/06/02/las-dos-sesiones-que-faltan-miercoles-y-jueves/ http://topavlog08.wordpress.com/2008/06/02/las-dos-sesiones-que-faltan-miercoles-y-jueves/#comments Mon, 02 Jun 2008 21:53:19 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=54 ]]>

Quedan entonces así las fechas de las dos exposiciones que faltan:

MIÉRCOLES 4 (hora usual): Sebastián Goodburn

JUEVES 5 (11 de la mañana): Jorge Cely

]]> http://topavlog08.wordpress.com/2008/06/02/las-dos-sesiones-que-faltan-miercoles-y-jueves/feed/ 0 avillavecesn sesión especial el martes http://topavlog08.wordpress.com/2008/05/21/sesion-especial-el-martes/ http://topavlog08.wordpress.com/2008/05/21/sesion-especial-el-martes/#comments Wed, 21 May 2008 20:55:07 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=51 ]]>

Hola a todos,

la exposición de Diana Montoya (versiones definibles de débilmente compactos – una charla con combinatoria y forcing) había estado programada para el próximo lunes originalmente – pero no me dí cuenta que es lunes festivo. Decidimos correr la charla para el martes a las 11 am. Adicionalmente, Juan Felipe y Fabio completarán sus exposiciones de hoy – darán la prueba faltante.

La sesión será larga (de 11 a 2) y en plena hora de almuerzo. Deberían traer almuerzo ligero y almorzar durante las exposiciones. Yo me comprometí a llevar postre para todos. Llevaré buen chocolate y turrón.

]]> http://topavlog08.wordpress.com/2008/05/21/sesion-especial-el-martes/feed/ 2 avillavecesn Dos textos importantes, sobre la UN http://topavlog08.wordpress.com/2008/05/19/dos-textos-importantes-sobre-la-un/ http://topavlog08.wordpress.com/2008/05/19/dos-textos-importantes-sobre-la-un/#comments Mon, 19 May 2008 16:58:46 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=50 ]]>

Hay dos textos que quiero que lean, sobre la Universidad Nacional. Uno es de un profesor del Departamento de Matemáticas (uno de los profesores más importantes que tiene nuestra Universidad, Fernando Zalamea) y propone una Geometría de la confrontación universitaria. El segundo es un post en el blog de Javier Moreno, uno de nuestros egresados de Matemáticas (2001). Me enorgullece haber sido el director de tesis de pregrado de Javier Moreno (la tesis, sobre la prueba de Hrushovski del teorema de Mordell-Lang, ganó premio a mejores tesis de pregrado de la UN en 2001) – Javier Moreno terminó recientemente su doctorado en Illinois, en Teoría de Modelos del Álgebra Diferencial.

En el blog de Javier Moreno hay un post muy interesante, que hace eco al ensayo de Fernando Zalamea.

Muy recomendados ambos textos en estos tiempos de zozobra.

]]> http://topavlog08.wordpress.com/2008/05/19/dos-textos-importantes-sobre-la-un/feed/ 0 avillavecesn Petición contra el bloqueo http://topavlog08.wordpress.com/2008/05/19/peticion-contra-el-bloqueo/ http://topavlog08.wordpress.com/2008/05/19/peticion-contra-el-bloqueo/#comments Mon, 19 May 2008 02:14:42 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=49 ]]>

Seguramente ya han visto la petición. Pero vale la pena poner la información aquí.

También se invita a la comunidad universitaria a firmar la petición contra el bloqueo aquí (en este momento, 8 p.m. del domingo 18 de mayo, hay ya cerca de 450 firmas)…

]]> http://topavlog08.wordpress.com/2008/05/19/peticion-contra-el-bloqueo/feed/ 0 avillavecesn 19 de mayo http://topavlog08.wordpress.com/2008/05/18/19-de-mayo/ http://topavlog08.wordpress.com/2008/05/18/19-de-mayo/#comments Sun, 18 May 2008 22:56:41 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=47 ]]>

Mañana 19 de mayo (hora de clase normal) tiene lugar la exposición de Juan Pablo Quijano (Omisión de tipos en L_{\omega_1\omega} – estudio topológico). También tendrá lugar, a las 8 de la mañana, una marcha contra el bloqueo y por la Universidad seria, funcionando, líder en academia, abierta. La marcha es a las 8 de la mañana, junto a Filosofía (entrada de la Calle 26). Estaré ahí. Es de importancia vital para la Universidad Nacional (y en el fondo, para el país académico) estar ahí, y acabar con los bloqueos de nuestra Universidad.

Nos vemos mañana.

]]> http://topavlog08.wordpress.com/2008/05/18/19-de-mayo/feed/ 2 avillavecesn Preguntas de la charla del miércoles pasado http://topavlog08.wordpress.com/2008/04/25/preguntas-de-la-charla-del-miercoles-pasado/ http://topavlog08.wordpress.com/2008/04/25/preguntas-de-la-charla-del-miercoles-pasado/#comments Fri, 25 Apr 2008 15:12:57 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=44 ]]>

Algunos ejercicios de los temas de la clase pasada:

  1. Recuerde que el lema de homogeneidad fuerte dice que \forall \bar{a},\bar{b}\in {\mathfrak C}^\alpha (\alpha acotado), si tp(\bar{a}/QA)=tp(\bar{b}/QA) entonces existe f\in Aut({\mathfrak C}/QA) tal que f(\bar{a})=\bar{b}. Muestre (con un ejemplo) que en lo anterior \alpha debe ser acotado.
  2. Sea p=tp(\bar{c}c'/QA) (en el contexto de la demostración de lo anterior). Sea B\subset_{fin} QA tal que p no rompe sobre B. Sea \sigma \in Aut({\mathfrak C}/B) tal que \sigma(\bar{c})=\bar{d}. Queremos ver que tp(\bar{c}c'/QA)=tp(\bar{d}d'/QA) – si no fuera así existirían \varphi(\bar{x},x',y) y \bar{e}\in QA tales que \varphi(\bar{x},x',\bar{e})\in tp(\bar{c}c'/QA) y \neg \varphi(\bar{x},x',\bar{e})\in tp(\bar{d}d'/QA). Probar: la fórmula \neg \varphi(\bar{x},x',\bar{e}) realmente pertenece a tp(\bar{c}c'/QA).
  3. Sean \bar{a},\bar{b}\in P^n independientes. Entonces existe \sigma \in Aut(P/QA) (el grupo de enlace) tal que \sigma(\bar{a})=\bar{b} y existe g\in G tal que g(\bar{a}/E)=\bar{b}/E.
]]> http://topavlog08.wordpress.com/2008/04/25/preguntas-de-la-charla-del-miercoles-pasado/feed/ 0 avillavecesn horario mañana http://topavlog08.wordpress.com/2008/04/22/horario-manana/ http://topavlog08.wordpress.com/2008/04/22/horario-manana/#comments Tue, 22 Apr 2008 20:52:31 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=43 ]]>

Hola a todos,

tendremos clase de 4 a 6 de la tarde, en el A-302 (el mismo salón en la Facultad de Ciencias donde tiene lugar el Seminario de Lógica los lunes por la mañana). Estaré pendiente poco antes de las 4, frente al Departamento de Matemáticas, para ir al tiempo con aquellos de ustedes que no están familiarizados con el campus de los Andes.

]]> http://topavlog08.wordpress.com/2008/04/22/horario-manana/feed/ 2 avillavecesn clases esta semana http://topavlog08.wordpress.com/2008/04/21/clases-esta-semana/ http://topavlog08.wordpress.com/2008/04/21/clases-esta-semana/#comments Mon, 21 Apr 2008 19:22:33 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=42 ]]>

No es claro cuando reabrirán. Todos esperamos que sea cuanto antes. Sin embargo, necesito la _presencia_ de ustedes (y la respuesta a este mensaje). No quiero volver a tener clase con solo la mitad de ustedes como pasó hace ocho días.

Hoy lunes no haré clase, pero el miércoles sí. Si está reabierta la Nacional en ese momento, pues hacemos clase en el horario usual. Si no, anunciaré el lugar y la hora de la clase.

]]> http://topavlog08.wordpress.com/2008/04/21/clases-esta-semana/feed/ 8 avillavecesn exposiciones – clases http://topavlog08.wordpress.com/2008/04/17/exposiciones-clases/ http://topavlog08.wordpress.com/2008/04/17/exposiciones-clases/#comments Thu, 17 Apr 2008 15:23:48 +0000 Andrés Villaveces http://topavlog08.wordpress.com/?p=41 ]]>

Hola a todos,

aunque el lunes pasado pudimos tener clase (gracias a Alex Berenstein, quien tramitó el salón en los Andes), ayer miércoles no fue posible. Por ahora debemos esperar que la reapertura sea lo más pronto posible y (dependiendo de lo anterior) programar clases extra en otros lugares.

La lista (parcial) de exposiciones está en esta página de exposiciones.

]]> http://topavlog08.wordpress.com/2008/04/17/exposiciones-clases/feed/ 0 avillavecesn