TY  - RPRT
TI  - Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
AU  - Maria Emilia Maietti
AU  - Samuele Maschio
AU  - Michael Rathjen
PY  - 2022
DO  - 10.46298/lmcs-18(4:5)2022
UR  - https://arxiv.org/abs/2103.16592
ID  - 2103.16592
ER  -