Predicative Fragments of Frege Arithmetic

DOI10.2178/BSL/1082986260zbMATH Open1068.03051OpenAlexW2144373230MaRDI QIDQ4678937FDOQ4678937

Authors: Øystein Linnebo 

Publication date: 24 May 2005

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

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

Recommendations

• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Predicate logics of decidable fragments of arithmetic
• Predicative Frege arithmetic and `everyday' mathematics
• Predicative foundations of arithmetic
• The predicative Frege hierarchy
• Predicative logic and formal arithmetic
• Predicate Logics of Constructive Arithmetical Theories
• On predicate provability logics and binumerations of fragments of Peano arithmetic
• A decidable fragment of predicate calculus
• scientific article; zbMATH DE number 4010488

zbMATH Keywords

second-order arithmeticsecond-order logicHume's PrincipleimpredicativityFrege Arithmeticpredicative fragments

Mathematics Subject Classification ID

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

Cites Work

• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Title not available (Why is that?)
• Title not available (Why is that?)
• Predicative foundations of arithmetic
• Title not available (Why is that?)
• Plural Quantification Exposed
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cardinality, counting, and equinumerosity
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• On the necessary existence of numbers
• Title not available (Why is that?)

Cited In (24)

• Frege's unofficial arithmetic
• Focus restored: Comments on John MacFarlane
• The good, the bad and the ugly
• Hume's principle, beginnings
• Frege's proof of referentiality
• HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE
• TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
• Introduction to the special issue on the bad company problem
• Title not available (Why is that?)
• Zigzag and Fregean Arithmetic
• Frege's Theorem and the Peano Postulates
• A note on induction, abstraction, and Dedekind-finiteness
• Carnap's defense of impredicative definitions
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Second-order logic: properties, semantics, and existential commitments
• Predicative Frege arithmetic and `everyday' mathematics
• Title not available (Why is that?)
• Ramified Frege arithmetic
• Two roads to the successor axiom
• On the consistency of a plural theory of Frege's \textit{Grundgesetze}
• The strength of abstraction with predicative comprehension
• FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)
• Title not available (Why is that?)
• What Russell should have said to Burali-Forti

This page was built for publication: Predicative Fragments of Frege Arithmetic

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