Relative computability in the effective topos

DOI10.1017/S0305004100068146MaRDI QIDQ3469268zbMATH OpenOpenAlexFDO

Authors Wesley Phoa

Publication date 1989

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0305004100068146

zbMATH Keywords

effective toposLawvere-Tierney topologysheaf subtopos

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• The modified realizability topos
• Realizability. An introduction to its categorical side
• Relative and modified relative realizability
• scientific article; zbMATH DE number 17702
• scientific article; zbMATH DE number 4047722

Cited in

(13)

• Some free constructions in realizability and proof theory
• Relating Computational Effects by ⊤ ⊤-Lifting
• scientific article; zbMATH DE number 4047722 (Why is no real title available?)
• Basic subtoposes of the effective topos
• scientific article; zbMATH DE number 817189 (Why is no real title available?)
• Two remarks on the Lifschitz realizability topos
• Effective topos as a synthetic universe for the theory of computation
• Finiteness and computation in toposes
• Aspects of categorical recursion theory
• Effective operations of type 2 in PCAs
• Parallelism in realizability models
• Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• Filtered colimits in the effective topos

This page was built for publication: Relative computability in the effective topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3469268)