The realizability tag has no wiki summary.
-1
votes
0answers
14 views
Hypergraphs that can be represented by simply closed curves respecting edge intersection
Good evening. Hypergraphs can be drawn by representing each vertex as a point in the plane and each hyperedge as a closed curve that contains the points corresponding to the vertices that belong to ...
2
votes
0answers
211 views
A polytime feasible subuniverse of the Effective Topos
The effective topos is a well known universe of sets suitable for abstract computability, as it is build "from the ground up" via the classical notion of realisability by Kleene.
I have found a few ...
13
votes
2answers
1k views
Why is Kleene's notion of computability better than Banach-Mazur's?
In this post about the difference between the recursive and effective topos, Andrej Bauer said:
If you are looking for a deeper explanation, then perhaps it is fair to say that the Recursive Topos ...
