Predicative Fragments of Frege Arithmetic
From MaRDI portal
Publication:4678937
DOI10.2178/bsl/1082986260zbMath1068.03051OpenAlexW2144373230MaRDI QIDQ4678937
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
second-order logicsecond-order arithmeticHume's PrincipleimpredicativityFrege Arithmeticpredicative fragments
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