Recursive Polish spaces

DOI10.1007/s00153-023-00883-5OpenAlexW4380089874MaRDI QIDQ6077946

Tyler Arant

Publication date: 27 September 2023

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

Full work available at URL: https://doi.org/10.1007/s00153-023-00883-5

zbMATH Keywords

Polish spacesrecursive presentationseffectively open sets

Mathematics Subject Classification ID

Descriptive set theory (03E15) Theory of numerations, effectively presented structures (03D45)

Cites Work

• A comparison of concepts from computable analysis and effective descriptive set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursive Polish spaces