EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
From MaRDI portal
Publication:6095977
DOI10.1017/jsl.2022.56OpenAlexW4285900164MaRDI QIDQ6095977
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
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