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

Beth definability theorem

Mathematics / Foundations and Logic / Axioms / Ordering Axioms

Beth definability theorem Logical calculus Polynomial Real closed field Predicate symbol Differential equation, partial Differential equation, ordinary Cardinal number Function Characterization theorems for logics Abstract algebraic logic

citescited by

Canonical sources

Beth definability theoremencyclopedia_of_mathematics

Classification

Ordering AxiomsMathematics / Foundations and Logic / Axioms / Ordering Axioms

References

Logical calculus Polynomial Real closed field Predicate symbol Differential equation, partial Differential equation, ordinary Cardinal number Function

Referenced by

Characterization theorems for logics Abstract algebraic logic

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.