Timeline for The difference between the Recursive and the Effective topos.
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 21, 2010 at 21:38 | vote | accept | Doctor Gibarian | ||
| Apr 20, 2010 at 14:45 | comment | added | Doctor Gibarian | What I know is that in both topos recursive functions can be represented. The problem for me is: though in Eff is quite easy to see how is it done (because recursive realizability is a quite easy concept) in Rec everything is harder. One reason is that Mulry's papers are more difficult to find than Hyland's. This is why I ask for (open, free) references. At the same time I would like to join Krishnaswami question here:mathoverflow.net/questions/21947/… made after mine. Thank you, A. Bauer, and...have you Mulry's key papers? | |
| Apr 20, 2010 at 5:29 | history | edited | Andrej Bauer | CC BY-SA 2.5 |
Oh my god, I wrote "topoi" and "sheafs" in the same sentence.
|
| Apr 19, 2010 at 21:52 | history | answered | Andrej Bauer | CC BY-SA 2.5 |