Arithmetical conservation results
From MaRDI portal
Publication:1688961
DOI10.1016/j.indag.2017.07.009zbMath1437.03170arXiv1706.05901OpenAlexW2963054981MaRDI QIDQ1688961
Benno van den Berg, Lotte van Slooten
Publication date: 12 January 2018
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1706.05901
First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, Revisiting the conservativity of fixpoints over intuitionistic arithmetic, On Goodman realizability
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Extended bar induction in applicative theories
- A general form of relative recursion
- Proof-theoretical analysis: Weak systems of functions and classes
- Goodman's theorem and beyond
- Constructivism in mathematics. An introduction. Volume I
- Extensional realizability
- Remarks on Herbrand normal forms and Herbrand realizations
- About Goodman's theorem
- A note on Goodman's theorem
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Proofs and Computations
- TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS
- 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?
- The theory of the Gödel functionals
- Relativized realizability in intuitionistic arithmetic of all finite types
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics