PlanetMath:

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

Encyclopedia by subject

03C99 - Mathematical logic and foundations :: Model theory :: Miscellaneous

atomic formula owned by CWoo axiom of foundation owned by Henry elementarily equivalent owned by CWoo elementary embedding owned by CWoo model theory owned by mps proof equivalence of formulation of foundation owned by Henry supercategory owned by bci1 term algebra owned by CWoo well-founded induction on formulas owned by jihemme
Show empty categories:
[ up \| top ]