Constructive operators of finite types

DOI10.1007/BF01084090zbMath0375.02023OpenAlexW2034967223MaRDI QIDQ1245943

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/bf01084090

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Related Items (2)

Classification of spaces of operators of finite types ⋮ Relationship between sheaf spaces and numbered sets with the \(C^*\) property

Cites Work

• Unnamed Item
• Unnamed Item
• Topological variants of the continuity theorem for mappings and related theorems
• Relationship between sheaf spaces and numbered sets with the \(C^*\) property
• Constructive sets with equality and their mappings
• Effective operations on partial recursive functions

This page was built for publication: Constructive operators of finite types