PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03C52 - Mathematical logic and foundations :: Model theory :: Properties of classes of models

-supercategories owned by bci1 amalgamation property owned by Mathprof axiomatizable class owned by CWoo commutative vs. non-commutative dynamic modeling diagrams owned by bci1 example of a universal structure owned by uzeromay random graph (infinite) owned by bbukh similarity and analogous systems: dynamic adjointness and topological equivalence owned by bci1 supercategory theories owned by bci1 universal structure owned by Timmy
Show empty categories:
[ up \| top ]