The Effective Theory Of Graphs, Equivalence Relations, And Polish Spaces