Generalized Banach-Mazur functionals in the topos of recursive sets
From MaRDI portal
Publication:1167158
DOI10.1016/0022-4049(82)90030-5zbMath0491.03017OpenAlexW2079028772MaRDI QIDQ1167158
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
subobject classifierrecursive functionsrecursive functionalsglobal sections functorrecursive realsBanach-Mazur computable real numbersDedekind real number objectdouble negation topologyenumerated setssheaf of Banach-Mazur recursive sequences of reals
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
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
