PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Encyclopedia by subject

03C98 - Mathematical logic and foundations :: Model theory :: Applications of model theory

  1. commutative vs. non-commutative dynamic modeling diagrams owned by bci1
  2. similarity and analogous systems: dynamic adjointness and topological equivalence owned by bci1

Show empty categories:
[ up | top ]