EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY

DOI10.1017/JSL.2022.56MaRDI QIDQ6095977zbMATH OpenOpenAlexFDO

Authors Emanuele Frittaion

Publication date 11 September 2023

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

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

zbMATH Keywords

constructivedependent typesextensionalityintuitionisticrealizabilityset theory

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites work

• Arithmetical conservation results
• Axiom of Choice and Complementation
• Constructive set theory
• Constructive set theory and Brouwerian principles
• Constructivism in mathematics. An introduction. Volume II
• Extensional realizability
• Extensional realizability for intuitionistic set theory
• Formal systems for some branches of intuitionistic analysis
• Goodman's theorem and beyond
• scientific article; zbMATH DE number 3427308 (Why is no real title available?)
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 3668598 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• scientific article; zbMATH DE number 5064954 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Large sets in intuitionistic set theory
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On Goodman realizability
• Proof-theoretical analysis: Weak systems of functions and classes
• Realizability and recursive set theory
• Realizability for constructive Zermelo-Fraenkel set theory
• Realizability. An introduction to its categorical side
• Relativized realizability in intuitionistic arithmetic of all finite types
• The formulae-as-classes interpretation of constructive set theory
• The theory of the Gödel functionals

Cited in

(1)

• Extensional and Intensional Semantic Universes

This page was built for publication: EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY

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