Predicative logic and formal arithmetic
From MaRDI portal
Publication:5937804
DOI10.1305/ndjfl/1039293018zbMath0967.03048MaRDI QIDQ5937804
Allen P. Hazen, John P. Burgess
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
axiom of infinity; axiom of reducibility; elementary arithmetic; Kalmar arithmetic; Principia Mathematica
03F30: First-order arithmetic and fragments
Related Items
Comparing Peano arithmetic, Basic Law V, and Hume's Principle, The finitistic consistency of Heck's predicative Fregean system
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the consistency of the first-order portion of Frege's logical system
- Grundgesetze der Arithmetik I \S\S 29-32
- Finitely stratified polymorphism
- Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order
- A minimal predicative set theory
- Predicative foundations of arithmetic
- Undecidable theories
- Gödel's Second incompleteness theorem for Q
- Systems of predicative analysis
- A construction for consistent systems
- A relative consistency proof