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

DOI10.1016/j.apal.2011.12.016zbMath1251.03078arXiv1407.0436MaRDI 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 saturated; interpretability; second-order arithmetic; Basic Law V; Hume's Principle; hyperarithmetic

Mathematics Subject Classification ID

03F35: Second- and higher-order arithmetic and fragments

03D65: Higher-type and set recursion theory

Related Items

THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION, 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

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