Predicative logic and formal arithmetic

DOI10.1305/NDJFL/1039293018MaRDI QIDQ5937804zbMATH OpenOpenAlexFDO

Authors John P. Burgess, A. P. Hazen

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039293018

zbMATH Keywords

Principia Mathematicaaxiom of infinityelementary arithmeticaxiom of reducibilityKalmar arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Predicate Logics of Constructive Arithmetical Theories
• Predicative foundations of arithmetic
• scientific article; zbMATH DE number 3999883
• Predicate logics of constructive mathematical theories
• Publication:3033734
• scientific article; zbMATH DE number 1028828
• scientific article; zbMATH DE number 2232835
• Predicate logics of decidable fragments of arithmetic
• An Arithmetically Complete Predicate Modal Logic
• Arithmetic, first-order logic, and counting quantifiers

Cites work

• scientific article; zbMATH DE number 1066668 (Why is no real title available?)
• scientific article; zbMATH DE number 3006302 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3048505 (Why is no real title available?)
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• A construction for consistent systems
• A minimal predicative set theory
• A relative consistency proof
• Finitely stratified polymorphism
• Grundgesetze der Arithmetik I \S\S 29-32
• Gödel's Second incompleteness theorem for Q
• Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order
• On the consistency of the first-order portion of Frege's logical system
• Predicative foundations of arithmetic
• Systems of predicative analysis
• Undecidable theories

Cited in

(14)

• Arithmetic Formulated in a Logic of Meaning Containment
• Predicative Fragments of Frege Arithmetic
• The finitistic consistency of Heck's predicative Fregean system
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• Structured propositions and the logical form of predication
• scientific article; zbMATH DE number 1028828 (Why is no real title available?)
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Predicative foundations of arithmetic
• Predicative Frege arithmetic and `everyday' mathematics
• From arithmetic expressions to propositional formulae
• Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order
• Predicativity and constructive mathematics
• Challenges to predicative foundations of arithmetic
• The consistency of arithmetic, based on a logic of meaning containment

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: Predicative logic and formal arithmetic

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