Similar Items: Imaginaries in dense pairs of real-closed fields

Similar Items: The definable (p,q)-theorem for dense pairs of certain geometric structures