scientific article; zbMATH DE number 4156425

MaRDI QIDQ3484824zbMATH OpenFDO

Authors Dieter Spreen

Publication date 1990

zbMATH Keywords

completely enumerable subsetseffective metric spaceseffective topologyMal'tsev topologyRice-Shapiro theorem on index sets of classessemidecidable properties

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Recommendations

• scientific article; zbMATH DE number 17702
• Maximality in effective topology
• On effective topological spaces
• Rice's theorem in effectively enumerable topological spaces
• The Rice-Shapiro theorem in computable topology

Cited in

(14)

• A blend of methods of recursion theory and topology: a _1⁰ tree of shadow points
• Effective inseparability in a topological setting
• Effective compactness and sigma-compactness
• scientific article; zbMATH DE number 3930990 (Why is no real title available?)
• Basic subtoposes of the effective topos
• scientific article; zbMATH DE number 17702 (Why is no real title available?)
• The Rice-Shapiro theorem in computable topology
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
• scientific article; zbMATH DE number 7435061 (Why is no real title available?)
• Corrigendum to: ``On effective topological spaces
• Separating notions in effective topology
• COMPUTABLY COMPACT METRIC SPACES
• Every \(\Delta^0_2\) Polish space is computable topological
• Computable topological groups

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3484824)