Topological variants of the continuity theorem for mappings and related theorems

DOI10.1007/BF01084089zbMath0375.02022OpenAlexW2048432835MaRDI QIDQ1245942

V. P. Chernov

Publication date: 1976

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01084089

Mathematics Subject Classification ID

Continuous maps (54C05) Recursive functions and relations, subrecursive hierarchies (03D20) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Related Items (1)

Constructive operators of finite types

Cites Work

• A language of constructive mathematics involving systems of sets
• Constructive sets with equality and their mappings
• Investigation of constructive functions by the method of fillings
• Effective operations on partial recursive functions
• Effective operations in a general setting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topological variants of the continuity theorem for mappings and related theorems