A General Notion of Realizability

DOI10.2307/2693966zbMATH Open1031.03080OpenAlexW4231312455MaRDI QIDQ3149963

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

realizabilitycategory theorytopospartial combinatory algebrasequilogical spacesdependent predicate logic

Mathematics Subject Classification ID

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

Related Items (5)

Well-foundedness in realizability ⋮ Title not available (Why is that?) ⋮ A note on inequivalence of realizability toposes ⋮ Title not available (Why is that?) ⋮ Relative and modified relative 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)