The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
26 views

Elementary proof of compact space = exhaustible space?

The work of Martín Escardó has demonstrated close parallels between classical topology o one hand and computability on the other hand. (See for example "Infinite sets that admit fast exhaustive ...