1. [1] Aczel, Peter; Rathjen, Michael Notes on Constructive Set Theory, Available from Aczel’s webpage, 2008
2. The power of the ultrafilter theorem;['Banaschewski, Bernhard'];Journal of the London Mathematical Society,1983
3. Convergence in formal topology: a unifying notion;['Ciraulo, Francesco', 'Maietti, Maria Emilia', 'Sambin, Giovanni'];Journal of Logic and Analysis,2013
4. Finitary formal topologies and Stone’s representation theorem;['Ciraulo, Francesco', 'Sambin, Giovanni'];Theoretical Computer Science,2008
5. Reducibility, a constructive dual of spatiality;['Ciraulo, Francesco', 'Sambin, Giovanni'];Preprint, Università di Padova,2015