\(f_ A\)-spaces

DOI10.1007/BF01982128zbMath0637.03044OpenAlexW4239330863MaRDI QIDQ1098843

Yuri L. Ershov

Publication date: 1986

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

enumerationadmissible setCartesian closed categoryf-spacecomputable maps

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of numerations, effectively presented structures (03D45)

Cites Work

• \(\Sigma\)-predicates of finite types over an admissible set
• Unnamed Item
• Unnamed Item

This page was built for publication: \(f_ A\)-spaces