CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Indemostrabilidad de la Caracterizacion Lógica de la Bisimulacion
Autor/es:
PEDRO SÁNCHEZ TERRAF
Lugar:
Tandil, Buenos Aires
Reunión:
Congreso; Reunión de la Unión Matemática Argentina; 2010
Institución organizadora:
Unión Matemática Argentina
Resumen:
Revisaremos los Procesos Etiquetados de Markov (PME), la nocion de bisimulacion y su caracterizacion por una logica modal en el caso de espacios analiticos (J. Desharnais, Labelled Markov Processes, 1999). Mostraremos con un ejemplo que este resultado no se puede generalizar a espacios medibles generales y es relativamente consistente con ZFC que falle incluso para espacios que son proyecciones de un espacio coanalitico (mas aun, ∆^1_1).
