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 (3)
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
This page was built for publication: Arithmetical conservation results
