Resumo
Este projeto tem como objetivo principal responder questões conjuntistas sobre colorações borelianas e mensuráveis de grafos relevantes para (1) teoria ergódica, (2) geometria hiperbólica, (3) computabilidade e (4) sistemas dinâmicos. A técnica principal que devemos utilizar é o forcing iterado de noções que satisfazem o Axioma A. Se atingidos os objetivos, teremos contribuido para expand…