Tychonoff’s theorem in the framework of formal topologies (1997)

by S Negri, S Valentini
Venue:Journal of Symbolic Logic