Local realizability toposes and a modal logic for computability

DOI10.1017/S0960129502003675MaRDI QIDQ3146245zbMATH OpenOpenAlexFDO

Authors Steve Awodey, Lars Birkedal, Dana Scott

Publication date 31 October 2002

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

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

zbMATH Keywords

modal logicpartial combinatory algebrasrealizability topostripos

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Abstract and axiomatic computability and recursion theory (03D75) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 1497740
• Relative and modified relative realizability
• More on Geometric Morphisms between Realizability Toposes
• Developing theories of types and computability via realizability
• The modified realizability topos

Cited in

(15)

• Operational domain theory and topology of sequential programming languages
• Developing theories of types and computability via realizability
• Characterizing partitioned assemblies and realizability toposes
• Elementary axioms for local maps of toposes
• Models of intuitionistic set theory in subtoposes of nested realizability toposes
• Local collection and end-extensions of models of compositional truth
• All realizability is relative
• A note on inequivalence of realizability toposes
• scientific article; zbMATH DE number 512780 (Why is no real title available?)
• scientific article; zbMATH DE number 1497740 (Why is no real title available?)
• A relationship between equilogical spaces and type two effectivity
• Doctrines, modalities and comonads
• More on Geometric Morphisms between Realizability Toposes
• Aspects of predicative algebraic set theory. II: Realizability
• On the ubiquity of certain total type structures

This page was built for publication: Local realizability toposes and a modal logic for computability

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