Follow
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. (arXiv:2103.16592v1 [math.LO]) http://arxiv.org/abs/2103.16592
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. (arXiv:2103.16592v1 [math.LO]) http://arxiv.org/abs/2103.16592