Effectively enumerable topological spaces

MaRDI QIDQ2885260zbMATH OpenFDO

Authors Oleg Kudinov, M. V. Korovina

Publication date 21 May 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

domain theorydomain-theoretic approachpartial continuous functional

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Constructive and recursive analysis (03F60) Continuous lattices and posets, applications (06B35)

Recommendations

• Towards computability over effectively enumerable topological spaces
• scientific article; zbMATH DE number 3849214
• On effective topological spaces
• Rice's theorem in effectively enumerable topological spaces
• scientific article; zbMATH DE number 17702

Cited in

(9)

• Outline of partial computability in computable topology
• On the computational content of the Lawson topology
• On homeomorphisms of effective topological spaces
• Rice's theorem in effectively enumerable topological spaces
• scientific article; zbMATH DE number 3849214 (Why is no real title available?)
• scientific article; zbMATH DE number 3930990 (Why is no real title available?)
• scientific article; zbMATH DE number 1086720 (Why is no real title available?)
• Computable elements and functions in effectively enumerable topological spaces
• Towards computability over effectively enumerable topological spaces

This page was built for publication: Effectively enumerable topological spaces

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