Generalized Banach-Mazur functionals in the topos of recursive sets

DOI10.1016/0022-4049(82)90030-5zbMath0491.03017OpenAlexW2079028772MaRDI QIDQ1167158

Philip S. Mulry

Publication date: 1982

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(82)90030-5

zbMATH Keywords

subobject classifierrecursive functionsrecursive functionalsglobal sections functorrecursive realsBanach-Mazur computable real numbersDedekind real number objectdouble negation topologyenumerated setssheaf of Banach-Mazur recursive sequences of reals

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25) Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (16)

Filtered colimits in the effective topos ⋮ Partial map classifiers and partial cartesian closed categories ⋮ Fibrations and recursivity ⋮ An equational notion of lifting monad ⋮ Parallelism in realizability models ⋮ A categorial approach to the theory of computation ⋮ Left and right adjoint operations on spaces and data types ⋮ Sheaf toposes for realizability ⋮ Two models of synthetic domain theory ⋮ Extensional PERs ⋮ Monads and algebras in the semantics of partial data types ⋮ Adjointness in recursion ⋮ Introduction to Turing categories ⋮ The sequentially realizable functionals ⋮ Aspects of Categorical Recursion Theory ⋮ Lifting results for categories of algebras

Cites Work

• Computable numerations of morphisms
• Lifting results for categories of algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized Banach-Mazur functionals in the topos of recursive sets