A General Notion of Realizability

DOI10.2307/2693966MaRDI QIDQ3149963zbMATH OpenOpenAlexFDO

Authors Lars Birkedal

Publication date 1 March 2004

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0802-toc.htm

zbMATH Keywords

category theorydependent predicate logicequilogical spacespartial combinatory algebrasrealizabilitytopos

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Categorical logic, topoi (03G30)

Recommendations

• Developing theories of types and computability via realizability
• Realizability. An introduction to its categorical side
• Extensional realizability
• Relative and modified relative realizability
• Axiomatizing higher-order Kleene realizability

Cited in

(16)

• Developing theories of types and computability via realizability
• Relative and modified relative realizability
• scientific article; zbMATH DE number 1670478 (Why is no real title available?)
• scientific article; zbMATH DE number 3887527 (Why is no real title available?)
• A note on inequivalence of realizability toposes
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• A uniform approach to domain theory in realizability models
• scientific article; zbMATH DE number 1531359 (Why is no real title available?)
• scientific article; zbMATH DE number 1841819 (Why is no real title available?)
• The category of implicative algebras and realizability
• Implicative algebras: a new foundation for realizability and forcing
• Realizability toposes from specifications
• Regular functors and relative realisability categories
• Realizability: a historical essay
• Evidenced frames. A unifying framework broadening realizability models
• Well-foundedness in realizability

This page was built for publication: A General Notion of Realizability

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