Archivo de Abril 2007

Charla Walter Muete

Abril 18, 2007

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.

Escrito en Resumenes | 1 comentario