hierarchy (353B)
1 # Hierarchy 2 3 - [complexity_hierarchy] 4 - [dot_depth]: various hierarchies 5 - [alternation_hierarchy] 6 - [arithmetical_hierarchy], with [first_order_logic] 7 - [analytical_hierarchy], with [second_order_logic] 8 - [time_hierarchy_theorem] / [space_hierarchy_theorem] 9 - [logarithmic_time_hierarchy] 10 11 Up: [mathematics] 12 13 See also: [conjunctive_query_hierarchical]