All Questions
Tagged with lambda-calculus gn.general-topology
1 question
3
votes
0
answers
147
views
One strong fixed-point property
Each topological space $A$ with fixed-point property is connected (all clopen subsets are trivial). This is an analog of Rice theorem (all decidable subsets are trivial). Suppose, we have a space $A$ ...
