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

Recursive model theory

Mathematics / Analysis / Polynomials / Algebraic Element

Recursive model theory Recursive function Model theory Algebra Descriptive set theory Gödel completeness theorem Gödel incompleteness theorem Recursive set theory Categoricity in cardinality Enumerated model

citescited by

Canonical sources

Recursive model theoryencyclopedia_of_mathematics Recursive model theoryencyclopedia_of_mathematics

Classification

Algebraic ElementMathematics / Analysis / Polynomials / Algebraic Element

References

Recursive function Model theory Algebra Descriptive set theory Gödel completeness theorem Gödel incompleteness theorem Recursive set theory Categoricity in cardinality

Referenced by

Enumerated model

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.