Factors of Functions,AC and Recursive Analogues

We investigate certain statements about factors of unary functions (in particular,factors of permutations) which have connections with weak forms of the axiom of choice. We discuss more extensively the fine structure of Howard and Rubin's Form 314 (which concerns bireflectivity of permutations) from 4]. Some of our set‐theoretic results have also interesting recursive versions.