Tychono 's theorem in the framework of formal topologies, The Journal of Symbolic Logic (1995)

by S Negri, S Valentini