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 mathematics

Mathematics / Discrete Mathematics / General Discrete Mathematics / Concrete Mathematics

Constructive mathematics Bar induction Constructive semantics Church thesis Disjunction Constructive object Normal algorithm Intuitionism Law of the excluded middle Logical calculus Constructive selection principle Constructive real number Abstraction of actual infinity Stepwise semantic system Abstraction, mathematical Constructive logic Law of the excluded middle

citescited by

Canonical sources

Constructive mathematicsencyclopedia_of_mathematics

Classification

Concrete MathematicsMathematics / Discrete Mathematics / General Discrete Mathematics / Concrete Mathematics

References

Bar induction Constructive semantics Church thesis Disjunction Constructive object Normal algorithm Intuitionism Law of the excluded middle

Referenced by

Logical calculus Constructive selection principle Constructive real number Abstraction of actual infinity Stepwise semantic system Abstraction, mathematical Constructive logic Law of the excluded middle

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.