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

Elementary equivalence

Mathematics / History, Language, and Terminology / Terminology

Elementary equivalence Keisler-Shelah isomorphism theorem Abstract algebraic logic Fraïssé characterization of elementary equivalence Elimination of quantifiers Keisler-Shelah isomorphism theorem Model theory O-minimal Model theory of valued fields Transfer principle Axiomatized class

citescited by

Canonical sources

Elementary equivalenceencyclopedia_of_mathematics Elementary equivalenceencyclopedia_of_mathematics

Classification

TerminologyMathematics / History, Language, and Terminology / Terminology

References

Keisler-Shelah isomorphism theorem Abstract algebraic logic Fraïssé characterization of elementary equivalence

Referenced by

Elimination of quantifiers Keisler-Shelah isomorphism theorem Model theory O-minimal Model theory of valued fields Transfer principle Axiomatized class

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.