The finitistic consistency of Heck's predicative Fregean system
From MaRDI portal
Publication:2345392
DOI10.1215/00294527-2835110zbMath1356.03101OpenAlexW2046149936MaRDI QIDQ2345392
Fernando Ferreira, Luís Cruz-Filipe
Publication date: 22 May 2015
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1427202974
Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Related Items (1)
Cites Work
- Proof theory. 2nd ed
- On the consistency of the first-order portion of Frege's logical system
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
- The predicative Frege hierarchy
- Interpretability in Robinson's Q
- The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
- Predicative logic and formal arithmetic
- On a consistent subsystem of Frege's Grundgesetze
This page was built for publication: The finitistic consistency of Heck's predicative Fregean system