Nonstandard methods in field theory. Bounds and definability, and specialization properties in prime characteristic. - Schmidt, Karsten (1985)