Rosser's trick

URI: https://gptkb.org/entity/Rosser's_trick
GPTKB entity
Statements (14)
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
https://www.w3.org/2000/01/rdf-schema#label Rosser's trick
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
gptkb:J._Barkley_Rosser
gptkbp:bfsLayer 5