On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes

DOI10.1017/S096012952100013XMaRDI QIDQ5156775zbMATH OpenOpenAlexFDO

Authors Jetze Zoethout

Publication date 11 October 2021

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

partial combinatory algebrarealizability toposes

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Topoi (18B25)

Recommendations

• Ordered partial combinatory algebras
• Partial combinatory algebras of functions
• Internal partial combinatory algebras and their slices
• More on Geometric Morphisms between Realizability Toposes
• Relative and modified relative realizability

Cites work

• All realizability is relative
• Basic subtoposes of the effective topos
• Geometric morphisms of realizability toposes
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Internal partial combinatory algebras and their slices
• More on Geometric Morphisms between Realizability Toposes
• On the interpretation of intuitionistic number theory
• Ordered partial combinatory algebras
• Realizability. An introduction to its categorical side
• Tripos theory

Cited in

(12)

• Realizability. An introduction to its categorical side
• Characterizing partitioned assemblies and realizability toposes
• Third-order functionals on partial combinatory algebras
• Internal partial combinatory algebras and their slices
• All realizability is relative
• scientific article; zbMATH DE number 512780 (Why is no real title available?)
• Ordered partial combinatory algebras
• More on Geometric Morphisms between Realizability Toposes
• Iterated realizability as a comma construction
• Effective operations of type 2 in PCAs
• Theory and Applications of Models of Computation
• Partial combinatory algebras of functions

This page was built for publication: On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes

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