WikicatMathematicalLogicHierarchies

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
rdfs:subClassOf	yago:Hierarchy108377806
owl:equivalentClass	yago-res:wikicat_Mathematical_logic_hierarchies
is rdf:type of	dbr:Analytical_hierarchy dbr:Arithmetical_hierarchy dbr:Arithmetical_set dbr:Wadge_hierarchy dbr:Difference_hierarchy dbr:Projective_hierarchy dbr:Borel_hierarchy dbr:Post's_theorem dbr:Tarski–Kuratowski_algorithm

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License