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

Structure

Structure Predicate symbol Model theory Algebraic system Elimination of quantifiers Elimination of quantifiers Robinson test Real closed field O-minimal Non-smoothable manifold Group of finite Morley rank Model theory of the real exponential function Model theory of valued fields

citescited by

Canonical sources

Structureencyclopedia_of_mathematics

Classification

No taxonomy classification is available yet.

References

Predicate symbol Model theory Algebraic system Elimination of quantifiers

Referenced by

Elimination of quantifiers Robinson test Real closed field O-minimal Non-smoothable manifold Group of finite Morley rank Model theory of the real exponential function Model theory of valued fields

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.