REFLEXIVE CONSISTENCY PROOFS AND GÖDEL'S SECOND THEOREM

DOI10.1093/PHILMAT/S2-4.1.58zbMath1156.03300OpenAlexW1979377974MaRDI QIDQ3616538

Paul T. Sagal

Publication date: 25 March 2009

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/s2-4.1.58

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)

This page was built for publication: REFLEXIVE CONSISTENCY PROOFS AND GÖDEL'S SECOND THEOREM