Lógica continua y relaciones de equivalencia de Borel

Por • 11 oct, 2021 • Sección: Ambiente

Andreas Hallbäck , Maciej Malicki y Todor Tsankov

Estudiamos la complejidad del isomorfismo de clases de estructuras métricas utilizando métodos de lógica infinitaria continua. Para las clases de Borel de estructuras localmente compactas, probamos que si la relación de equivalencia del isomorfismo es potencialmenteΣ02, entonces es esencialmente contable. También proporcionamos una condición teórica del modelo equivalente que es fácil de verificar en la práctica. Este teorema es una generalización común de un resultado de Hjorth sobre espacios métricos pseudoconectados y un resultado de Hjorth-Kechris sobre estructuras discretas. Como una aplicación diferente, también damos una nueva prueba del teorema de Kechris de que las relaciones de equivalencia de las acciones de los grupos polacos localmente compactos son esencialmente contables.

arXiv:2109.08559v1 [math.LO]
Logic (math.LO)

Post to Twitter

Escribe un comentario