Abstract
The main objective of this project is to answer set-theoretic questions about Borel and measurable colorings of graphs relevant to (1) ergodic theory; (2) hyperbolic geometry; (3) computability and (4) dynamical systems. The main technique that we may employ is iterated forcing of notions that satisfy Axiom A. If the objectives are achieved, we will have contributed to expanding the front…