Pages that link to "Item:Q3863871"
From MaRDI portal
The following pages link to Recursive constructions in topological spaces (Q3863871):
Displayed 8 items.
- Effective topological spaces. I: A definability theory (Q1061121) (← links)
- Effective topological spaces. II: A hierarchy (Q1073020) (← links)
- The undecidability of the lattice of r. e. closed subsets of an effective topological space (Q1098841) (← links)
- Effective topological spaces. III: Forcing and definability (Q1098842) (← links)
- Lower bounds on degrees of game-theoretic structures (Q1106754) (← links)
- On Turing degrees of Walrasian models and a general impossibility result in the theory of decision-making (Q1196206) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Effective inseparability in a topological setting (Q1923565) (← links)