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

Constructive semantics

Mathematics / Foundations and Logic / A New Kind of Science / Primitive Recursive Function

Constructive semantics Semantics Intuitionistic logic Arithmetic, formal Algorithm Realizability Topos Constructive mathematics Constructive object Constructive mathematics Constructive logic Stepwise semantic system

citescited by

Canonical sources

Constructive semanticsencyclopedia_of_mathematics

Classification

Primitive Recursive FunctionMathematics / Foundations and Logic / A New Kind of Science / Primitive Recursive Function

References

Semantics Intuitionistic logic Arithmetic, formal Algorithm Realizability Topos Constructive mathematics Constructive object

Referenced by

Constructive mathematics Constructive logic Stepwise semantic system

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.