Products of effective topological spaces and a uniformly computable Tychonoff Theorem

DOI10.2168/LMCS-9(4:14)2013zbMath1315.03120arXiv1310.5572MaRDI QIDQ2865068

Weihrauch, Klaus, Robert Rettinger

Publication date: 28 November 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1310.5572

zbMATH Keywords

product spacescomputable analysisTychonoff's theoremTTE

Mathematics Subject Classification ID

Compactness (54D30) Constructive and recursive analysis (03F60) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (4)

A comparison of concepts from computable analysis and effective descriptive set theory ⋮ Effective Riemann mappings of multiply connected domains and Riemann surfaces ⋮ Computability on measurable functions ⋮ Algorithmic randomness and Fourier analysis

This page was built for publication: Products of effective topological spaces and a uniformly computable Tychonoff Theorem