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: realizability model

Bottom of Page

1 to 1 of 1

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeDec 2nd 2012
    • (edited Dec 2nd 2012)

    I created an entry realizability model. But I only got to put one single reference into it and now I am forced to go offline.

    I’ll try to add more later. But maybe somebody here feels inspired to add a brief explanation…

1 to 1 of 1

  1.