Extensional realizability for intuitionistic set theory

DOI10.1093/LOGCOM/EXAA087MaRDI QIDQ5858137zbMATH OpenOpenAlexFDO

Authors Emanuele Frittaion, Michael Rathjen

Publication date 9 April 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2012.04300

zbMATH Keywords

constructiveextensionalityintuitionisticrealizabilityset theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Extensional realizability
• Preservation of choice principles under realizability
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• The axiom of multiple choice and models for constructive set theory
• Generalizing realizability and Heyting models for constructive set theory

Cited in

(14)

• Intuitionistic formal theories with realizability in subrecursive classes
• Transference theorems and intuitionistic set theory
• Absolute L-realizability and intuitionistic logic
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
• Realisability for infinitary intuitionistic set theory
• scientific article; zbMATH DE number 5722458 (Why is no real title available?)
• MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
• Intuitionistic fixed point theories over set theories
• EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
• Embeddings between partial combinatory algebras
• Domain Theory and Realisability over Scott’s D_∞ in Constructive Set Theory
• Generalizing realizability and Heyting models for constructive set theory
• The complexity of completions in partial combinatory algebra
• Computable structure theory of partial combinatory algebras

This page was built for publication: Extensional realizability for intuitionistic set theory

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