Predicative Fragments of Frege Arithmetic

DOI10.2178/bsl/1082986260zbMath1068.03051OpenAlexW2144373230MaRDI QIDQ4678937

Øystein Linnebo

Publication date: 24 May 2005

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

Full work available at URL: https://semanticscholar.org/paper/dfb07312a3efd2f7cdbb96101a71456152b9c698

zbMATH Keywords

second-order logicsecond-order arithmeticHume's PrincipleimpredicativityFrege Arithmeticpredicative fragments

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) ⋮ HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE ⋮ WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI ⋮ A note on induction, abstraction, and Dedekind-finiteness ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS ⋮ HUME’S PRINCIPLE, BEGINNINGS ⋮ On the consistency of a plural theory of Frege's \textit{Grundgesetze} ⋮ Frege's proof of referentiality ⋮ Second-order logic: properties, semantics, and existential commitments ⋮ Two roads to the successor axiom ⋮ Ramified Frege arithmetic ⋮ Focus restored: Comments on John MacFarlane ⋮ The good, the bad and the ugly ⋮ Introduction to the special issue on the bad company problem

Cites Work

• Predicative foundations of arithmetic
• Cardinality, counting, and equinumerosity
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Plural Quantification Exposed
• On the Necessary Existence of Numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item