Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
formal systems
|
| gptkbp:describedBy |
gptkb:Rosser's_1936_paper_"Extensions_of_Some_Theorems_of_Gödel_and_Church"
|
| gptkbp:enables |
removal of ω-consistency assumption
|
| gptkbp:firstPublished |
1936
|
| gptkbp:namedAfter |
gptkb:J._Barkley_Rosser
|
| gptkbp:notableFor |
gptkb:Rosser's_improvement_of_Gödel's_incompleteness_theorem
|
| gptkbp:relatedTo |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:usedIn |
gptkb:logic
proof theory |
| gptkbp:bfsParent |
gptkb:Barkley_Rosser
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Rosser's trick
|