Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I had created a stub for effective topological space and cross-linked with equilogical space. Added some pointers to the literature, but otherwise no real content yet.
This is connected to constructive topology by realizability. There is work by Aczel and Fox developing constrcutive topology and connecting it to formal topology.
Thanks. I’ll be out of time for this for a while now. If more material is to be added to the entries, somebody else will have to do it.
Added the connection to formal topology, very basic
1 to 4 of 4