First-order Frege theory is undecidable
From MaRDI portal
Publication:5960015
DOI10.1023/A:1013362627445zbMath1032.03009OpenAlexW1986506018MaRDI QIDQ5960015
Publication date: 11 April 2002
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1013362627445
Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Frege, Boolos, and logical objects ⋮ On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
Cites Work
This page was built for publication: First-order Frege theory is undecidable