On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
From MaRDI portal
Publication:1857358
DOI10.1023/A:1019919403797zbMath1012.03059OpenAlexW1986689580MaRDI QIDQ1857358
Fernando Ferreira, Kai Frederick Wehmeier
Publication date: 13 June 2003
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1019919403797
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35)
Related Items (16)
Frege, Boolos, and logical objects ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE ⋮ Plural \(Grundgesetze\) ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ On the consistency of a plural theory of Frege's \textit{Grundgesetze} ⋮ Frege's other program ⋮ THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’SGRUNDGESETZE DER ARITHMETIK ⋮ Frege’s Grundgesetze and a Reassessment of Predicativity ⋮ What is Neologicism? ⋮ The finitistic consistency of Heck's predicative Fregean system ⋮ Amending Frege's \textit{Grundgesetze der Arithmetik} ⋮ Frege's permutation argument revisited ⋮ Term models for abstraction principles
Cites Work
- Unnamed Item
- Unnamed Item
- On the consistency of the first-order portion of Frege's logical system
- Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
- The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
- On a consistent subsystem of Frege's Grundgesetze
- First-order Frege theory is undecidable
This page was built for publication: On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
