Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/MathematicalLogicHierarchies> . }
Showing items 1 to 9 of
9
with 100 items per page.
- Analytical_hierarchy type MathematicalLogicHierarchies.
- Arithmetical_hierarchy type MathematicalLogicHierarchies.
- Arithmetical_set type MathematicalLogicHierarchies.
- Borel_hierarchy type MathematicalLogicHierarchies.
- Difference_hierarchy type MathematicalLogicHierarchies.
- Post's_theorem type MathematicalLogicHierarchies.
- Projective_hierarchy type MathematicalLogicHierarchies.
- Tarski%E2%80%93Kuratowski_algorithm type MathematicalLogicHierarchies.
- Wadge_hierarchy type MathematicalLogicHierarchies.