The tag has no wiki summary.

learn more… | top users | synonyms

-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 ...