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

Forcing method

Mathematics / Algebra / Field Theory / Finite Extension

Forcing method Boolean-valued model Continuum hypothesis Boolean algebra Transitive set Axiomatic set theory Kripke models Gödel constructive set ZFC Topology, general Algorithmic reducibility Gödel constructive set Proof theory Generic set Kripke models Mathematical logic

citescited by

Canonical sources

Forcing methodencyclopedia_of_mathematics

Classification

Finite ExtensionMathematics / Algebra / Field Theory / Finite Extension

References

Boolean-valued model Continuum hypothesis Boolean algebra Transitive set Axiomatic set theory Kripke models Gödel constructive set

Referenced by

ZFC Topology, general Algorithmic reducibility Gödel constructive set Proof theory Generic set Kripke models Mathematical 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.