Los 1955: ultraproduct of structures over ultrafilter satisfies same first-order sentences as 'most' factors; basis of non-standard models + transfer principle.
Los 1955: ultraproduct of structures over ultrafilter satisfies same first-order sentences as 'most' factors; basis of non-standard models + transfer principle.