On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1870147
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze |
scientific article; zbMATH DE number 1870147 |
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
0.8523446917533875
0 references
0.8523446917533875
0 references
0.8464130759239197
0 references
0.8244743347167969
0 references
0.8244743347167969
0 references
