Frege's Theorem and the Peano Postulates
From MaRDI portal
Publication:4858805
DOI10.2307/421158zbMath0838.03041OpenAlexW2054062406MaRDI QIDQ4858805
Publication date: 19 December 1995
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0103-toc.htm
First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Second- and higher-order arithmetic and fragments (03F35)
Related Items
ABSTRACTIONIST CATEGORIES OF CATEGORIES ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Frege's theorem and his logicism ⋮ Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
Cites Work