Generalizing Boolos' theorem

DOI10.1017/S1755020316000332MaRDI QIDQ5737962zbMATH OpenFDO

Authors Graham Leach-Krouse

Publication date 31 May 2017

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) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Recommendations

• The strength of abstraction with predicative comprehension
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• The neo-Fregean program in the philosophy of arithmetic
• Finitude and Hume's principle
• Internal categoricity in arithmetic and set theory

Cites work

• scientific article; zbMATH DE number 5964375 (Why is no real title available?)
• scientific article; zbMATH DE number 5047407 (Why is no real title available?)
• Finite Axiomatizability using additional predicates
• Second order logic or set theory?

Cited in

(2)

• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• The strength of abstraction with predicative comprehension

This page was built for publication: Generalizing Boolos' theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5737962)