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

Model (in logic)

Mathematics / Foundations and Logic / A New Kind of Science / Formal Language

Model (in logic)Modal logic Model theory Many-valued logic Axiom Algebraic system Formal language Elementary theory Intuitionistic logic Existentially closed Algebraic system Adequacy theorem Mathematical model Forking Model theory Model, regular Interpretation

citescited by

Canonical sources

Model (in logic)encyclopedia_of_mathematics

Classification

Formal LanguageMathematics / Foundations and Logic / A New Kind of Science / Formal Language

References

Modal logic Model theory Many-valued logic Axiom Algebraic system Formal language Elementary theory Intuitionistic logic

Referenced by

Existentially closed Algebraic system Adequacy theorem Mathematical model Forking Model theory Model, regular Interpretation

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.