A note on equality in finite‐type arithmetic

DOI10.1002/malq.201600080zbMath1469.03165OpenAlexW2765137353MaRDI QIDQ5108108

Benno van den Berg

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

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Type theory (03B38)

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