Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Logical Methods in Computer Science, 2022)