Abstract:
The operation of taking Gromov-Hausdorff
limits has an infinitary nature, but enjoys remarkable
tameness properties when restricted to definable families
of sets in "nice" spaces. These tameness results can easily be stated in
standard geometric terms, but the only proofs known to me use model
theory.