EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY

DOI10.1017/jsl.2022.56OpenAlexW4285900164MaRDI QIDQ6095977

Emanuele Frittaion

Publication date: 11 September 2023

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

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

zbMATH Keywords

extensionalityrealizabilityset theorydependent typesconstructiveintuitionistic

Mathematics Subject Classification ID

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

Cites Work

• Large sets in intuitionistic set theory
• Proof-theoretical analysis: Weak systems of functions and classes
• Realizability. An introduction to its categorical side
• Realizability and recursive set theory
• Goodman's theorem and beyond
• Constructivism in mathematics. An introduction. Volume II
• Extensional realizability
• Arithmetical conservation results
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On Goodman realizability
• Constructive set theory
• Axiom of Choice and Complementation
• The theory of the Gödel functionals
• Relativized realizability in intuitionistic arithmetic of all finite types
• Formal systems for some branches of intuitionistic analysis
• Extensional realizability for intuitionistic set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item