scientific article; zbMATH DE number 6423750

From MaRDI portal

Publication:4982356

Jump to:navigation, search

zbMath1344.03039MaRDI QIDQ4982356

Dieter Spreen

Publication date: 9 April 2015

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reducibility cylinder computable isomorphism computable real numbers effective topological space constructive metric space Myhill's theorem partial numbering precompleteness uniform productiveness

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (2)

Some results related to the continuity problem ⋮ Precomplete numberings

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4982356&oldid=19425338"