PlanetMath:

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

Encyclopedia by subject

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

amalgamation property owned by Mathprof axiomatizable class owned by CWoo example of a universal structure owned by uzeromay non-commutative dynamic modeling diagrams owned by bci1 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 ]