On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze |
scientific article |
Statements
On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (English)
0 references
13 June 2003
0 references
It is well known that Frege's system in the ``Grundgesetze der Arithmetik'' is formally inconsistent. Richard Heck proved that the fragment of Frege's system obtained by restricting the comprehension schema to predicative formulae is consistent and conjectured that the more encompassing \(\Delta_{1}^{1}\)-comprehension schema would already be inconsistent . In the paper under review it is shown that this is not the case.
0 references
consistency
0 references
fragment of Frege's Grundgesetze
0 references
\(\Delta_{1}^{1}\)-comprehension schema
0 references