Source-linked topology

Mathematics knowledge graph

Explore mathematical concepts through their taxonomy and citation relationships. Uintell stores graph metadata and canonical links, not a copied corpus.

8658concepts

10281sources

45444citations

Concept topology

Degree of undecidability

Mathematics / Discrete Mathematics / Finite Groups / Projective Special Linear Group

Degree of undecidability Algorithmic information theory Truth-table reducibility Algorithmic reducibility Priority method Creative set Turing reducibility Semi-lattice Elementary theory Recursive set theory Many-one reducibility Creative set Turing reducibility

citescited by

Canonical sources

Degree of undecidabilityencyclopedia_of_mathematics Degree of undecidabilityencyclopedia_of_mathematics

Classification

Projective Special Linear GroupMathematics / Discrete Mathematics / Finite Groups / Projective Special Linear Group

References

Algorithmic information theory Truth-table reducibility Algorithmic reducibility Priority method Creative set Turing reducibility Semi-lattice Elementary theory

Referenced by

Recursive set theory Many-one reducibility Creative set Turing reducibility

Source records retain attribution and canonical links. The public graph does not reproduce article bodies. See the Encyclopedia of Mathematics licensing notice before republishing source text.