A blend of methods of recursion theory and topology: a \(\Pi_1^0\) tree of shadow points

DOI10.1007/s00153-004-0244-0zbMath1066.03046OpenAlexW2072642826MaRDI QIDQ1762734

Iraj Kalantari, Lawrence Welch

Publication date: 11 February 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0244-0

zbMATH Keywords

recursive analysisrecursive topology\(\Pi^0_1\) tree of shadow pointssharp filters

Mathematics Subject Classification ID

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

A blend of methods of recursion theory and topology. ⋮ On degree-preserving homeomorphisms between trees in computable topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A blend of methods of recursion theory and topology.
• Recursive analysis
• Π₀¹-classes and Rado's selection principle
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
• ∏ 0 1 Classes and Degrees of Theories
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: A blend of methods of recursion theory and topology: a \(\Pi_1^0\) tree of shadow points