Levy hierarchy

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf mathematical hierarchy
gptkbp:appliesTo formulas in first-order set theory
gptkbp:characterizedBy quantifier complexity
gptkbp:describes complexity of formulas in the language of set theory
gptkbp:dividesFormulasInto Π_n formulas
Σ_n formulas
gptkbp:field gptkb:logic
gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Levy hierarchy
gptkbp:introducedIn 1965
gptkbp:namedAfter gptkb:Azriel_Levy
gptkbp:relatedTo gptkb:arithmetical_hierarchy
analytical hierarchy
gptkbp:usedIn gptkb:descriptive_set_theory
model theory
recursion theory
gptkbp:bfsParent gptkb:Azriel_Levy
gptkbp:bfsLayer 7