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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references