Category:Mathematical logic hierarchies
From Wikipedia, the free encyclopedia
In mathematical logic, these hierarchies classify various objects, such as real numbers (equivalently, sets of natural numbers) and sets of real numbers, based on various definability and complexity criteria.
This category contains articles about these hierarchies as well as theorems and terms relating to them.