Schütte's lemma

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo ordinal analysis
gptkbp:describes properties of ordinal notations
gptkbp:field gptkb:logic
proof theory
https://www.w3.org/2000/01/rdf-schema#label Schütte's lemma
gptkbp:namedAfter gptkb:Kurt_Schütte
gptkbp:relatedTo ordinal collapsing functions
gptkbp:usedIn proof-theoretic ordinal analysis
gptkbp:bfsParent gptkb:Kurt_Schütte
gptkbp:bfsLayer 6