Harrington's Principle

GPTKB entity

Statements (12)
Predicate Object
gptkbp:instanceOf Mathematical principle
gptkbp:describes If every real is constructible, then there is a real x such that every ordinal is definable from x
gptkbp:field gptkb:Set_theory
https://www.w3.org/2000/01/rdf-schema#label Harrington's Principle
gptkbp:implies Existence of 0#
gptkbp:namedAfter gptkb:Leo_Harrington
gptkbp:relatedTo gptkb:Projective_sets
Determinacy
gptkbp:statedIn Descriptive set theory
gptkbp:yearProposed 1978
gptkbp:bfsParent gptkb:Leo_Harrington
gptkbp:bfsLayer 7