Burgess’PVis Robinson’sQ

DOI10.2178/jsl/1185803626zbMath1118.03050OpenAlexW2035090116MaRDI QIDQ5294028

Mihai Ganea

Publication date: 9 July 2007

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

Full work available at URL: https://doi.org/10.2178/jsl/1185803626

zbMATH Keywords

Robinson's arithmeticarithmetical strengthpredicative versions of Frege's logic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (5)

THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ The predicative Frege hierarchy ⋮ Frege’s Grundgesetze and a Reassessment of Predicativity ⋮ Term models for abstraction principles

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Burgess’PVis Robinson’sQ