Pages that link to "Item:Q1061121"
From MaRDI portal
The following pages link to Effective topological spaces. I: A definability theory (Q1061121):
Displaying 10 items.
- Basic subtoposes of the effective topos (Q387125) (← links)
- Effective topological spaces. II: A hierarchy (Q1073020) (← links)
- Effective topological spaces. III: Forcing and definability (Q1098842) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Formal spaces and their effective presentations (Q1902337) (← links)
- Effective inseparability in a topological setting (Q1923565) (← links)
- The limit points definition on given topological space \((X,T)\) on finite set (Q2743003) (← links)
- Elementarily equivalent structures for topological languages over regions in Euclidean space (Q5300577) (← links)
- Separating notions in effective topology (Q6142834) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)