PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03C35 - Mathematical logic and foundations :: Model theory :: Categoricity and completeness of theories

$\kappa$ -categorical owned by Evandar countably categorical structures owned by amador oligomorphic permutation group owned by amador proof of Vaught's test owned by Evandar Vaught's test owned by Evandar
Show empty categories:
[ up \| top ]