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

Categorical logic

Mathematics / Foundations and Logic

Categorical logic Gödel incompleteness theorem Primitive recursive function Gödel completeness theorem Monoid Lattice Infinity, axiom of Sets, category of Many-valued logic

citescited by

Canonical sources

Categorical logicencyclopedia_of_mathematics

Classification

Foundations and LogicMathematics / Foundations and Logic

References

Gödel incompleteness theorem Primitive recursive function Gödel completeness theorem Monoid Lattice Infinity, axiom of Sets, category of Many-valued logic

Referenced by

No incoming references are recorded.

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.