Eric Rosen Some aspects of model theory and finite structures. 380-403 2002 8 Bulletin of Symbolic Logic 3 http://www.math.ucla.edu/~asl/bsl/0803/0803-003.ps db/journals/bsl/bsl8.html#Rosen02