FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)

DOI10.1017/S1755020315000039zbMath1375.03012MaRDI QIDQ3195590

Stewart Shapiro, Øystein Linnebo

Publication date: 20 October 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

THE POTENTIAL IN FREGE’S THEOREM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Ramified Frege arithmetic
• Finitude and Hume's principle
• The predicative Frege hierarchy
• CUT FOR CORE LOGIC
• Frege's theorem in a constructive setting
• Predicative Fragments of Frege Arithmetic

This page was built for publication: FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)