Comparing Peano arithmetic, Basic Law V, and Hume's Principle

DOI10.1016/j.apal.2011.12.016zbMath1251.03078arXiv1407.0436OpenAlexW1543500847MaRDI QIDQ450961

Sean Walsh

Publication date: 26 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.0436

zbMATH Keywords

recursively saturatedinterpretabilitysecond-order arithmeticBasic Law VHume's Principlehyperarithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Higher-type and set recursion theory (03D65)

Related Items

Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE ⋮ FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) ⋮ RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ Identity and the cognitive value of logical equations in Frege's foundational project ⋮ HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE ⋮ Asymptotic Quasi-completeness and ZFC ⋮ On the virtue of categoricity

Cites Work

• Descriptive set theory
• Classical recursion theory. The theory of functions and sets of natural numbers
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• Cardinality, counting, and equinumerosity
• The predicative Frege hierarchy
• The elementary theory of finite fields
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• Hyperarithmetical quantifiers
• Forcing with tagged trees
• Groups and Fields Interpretable in Separably Closed Fields
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Speaking with Shadows: A Study of Neo‐Logicism
• Predicative Fragments of Frege Arithmetic
• Model Theory
• Frege's Theorem and the Peano Postulates
• Burgess’PVis Robinson’sQ
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
• Predicative logic and formal arithmetic
• Is Hume's principle analytic?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item