A note on equality in finite‐type arithmetic
From MaRDI portal
Publication:5108108
DOI10.1002/malq.201600080zbMath1469.03165OpenAlexW2765137353MaRDI QIDQ5108108
Publication date: 29 April 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201600080
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A functional interpretation for nonstandard arithmetic
- Constructivism in mathematics. An introduction. Volume II
- 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
- Spector’s Proof of the Consistency of Analysis
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics