1.1. Definition. Consider a graph (S, E). Let d be a non-negative integer and let p : S → {0, 1,. .. , d} be a function which we call the priority function. The corresponding parity objective Parity(p) is defined to be the set of (infinite) paths in which the minimal priority of infinitely often visited nodes is even. In a more symbolic notation, this reads (1) Parity(p) = π ∈ Π : min s∈Inf(π) ...

1 Some remarks, some results 5 1.1 The point of formal topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 A formal topology is. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.3 A summary of developments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.3.1 A toolbox to do mathematics in type theory . . . . . . . . . . . . . . . ...

This study is on the determinants of credit access by small scale farmers in Dekina Local Government Area of Kogi State, Nigeria. The specific objectives are to; identify the major source of credit among the small scale farmers; estimate the determinants of farmers’ access to formal credit; compare the farm income of farmers who have access to formal credit and those who have not and identify c...