Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: effective topological space

Bottom of Page

1 to 4 of 4

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 4th 2014
    • (edited Mar 4th 2014)

    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.

    • CommentRowNumber2.
    • CommentAuthorspitters
    • CommentTimeMar 4th 2014

    This is connected to constructive topology by realizability. There is work by Aczel and Fox developing constrcutive topology and connecting it to formal topology.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 4th 2014
    • (edited Mar 4th 2014)

    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.

    • CommentRowNumber4.
    • CommentAuthorspitters
    • CommentTimeMar 7th 2014

    Added the connection to formal topology, very basic

1 to 4 of 4

  1.