Structures of physics in model theory