Elementary computable topology
From MaRDI portal
Recommendations
Cited in
(42)- Automated reasoning about elementary point-set topology
- Semicomputable manifolds in computable topological spaces
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification
- Characterization of Kurtz randomness by a differentiation theorem
- Computability of products of chainable continua
- Some notes on spaces of ideals and computable topology
- Computable subcontinua of semicomputable chainable Hausdorff continua
- Chainable and circularly chainable semicomputable sets in computable topological spaces
- Unified characterizations of lowness properties via Kolmogorov complexity
- Schnorr triviality and its equivalent notions
- On the computational content of the Lawson topology
- Synthetic topology: of data types and classical spaces
- Products of effective topological spaces and a uniformly computable Tychonoff theorem
- Computable separation in topology, from T₀ to T₃
- Computability on measurable functions
- Computable separation in topology, from \(T_{0}\) to \(T_{2}\)
- Rice's theorem in effectively enumerable topological spaces
- scientific article; zbMATH DE number 3924775 (Why is no real title available?)
- Computable Polish group actions
- Computable elements and functions in effectively enumerable topological spaces
- Effective Riemann mappings of multiply connected domains and Riemann surfaces
- Computability of Subsets of Metric Spaces
- Admissibly Represented Spaces and Qcb-Spaces
- Intersection points of planar curves can be computed
- Computable analysis with applications to dynamic systems
- On the topological aspects of the theory of represented spaces
- Computability of Polish spaces up to homeomorphism
- Semantics of computable physical models
- Computable Stone spaces
- Computable approximations of a chainable continuum with a computable endpoint
- Separating notions in effective topology
- Computable soft separation axioms
- COMPUTABLY COMPACT METRIC SPACES
- Every \(\Delta^0_2\) Polish space is computable topological
- Computable type of certain quotient spaces
- Effective second countability in computable analysis
- Multi-representation associated to the numbering of a subbasis and formal inclusion relations
- Computing conformal maps of finitely connected domains onto canonical slit domains
- Computable topological groups
- Computability of chainable graphs
- Effective bases and notions of effective second countability in computable analysis
This page was built for publication: Elementary computable topology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3639070)
