«
»

Charla Walter Muete

By Pedro Z.

El pasado lunes 16 de abril, Walter Muete (estudiante de Maestría de la Nacional) habló sobre las ideas generales de la prueba de que las estructuras (\mathbb{R},+,\cdot,0,1,\lneq,2^{\mathbb{Z}}) y (\mathbb{R},+,\cdot,0,1,\lneq,S) (donde S:=\{(e^t\cos t,e^t\sin t)\mid t\in \mathbb{R}\} ) no son rosy (pruebas debidas a Alf Onshuus y Clifton Ealy). Dicha prueba se hace utilizando el criterio que dice que una teoría no es rosy si existe un conjunto finito de fórmulas \Delta y un tipo parcial \pi(x) tal que cierto rango definido para relaciones de equivalencia definibles en este contexto (Eq-rk_{\Delta}(\pi(x))) es \infty.

Esta entrada fue publicada el a las Abril 18, 2007 y está archivada bajo las categorías Resumenes. Puedes seguir las respuestas de esta entrada a través de sindicación RSS 2.0. Puedes dejar una respuesta, o trackback desde tu propio sitio.

Una respuesta para “Charla Walter Muete”

  1. Yesenia Dice:
    Junio 17, 2008 a las 9:14 pm

    Hola Walter Muete,

    Es para mi una sorpresa saber que tienes el apellido Muete, debido a que mi familia tiene dicho apellido.

Escribe un comentario