Now that an equivalence of Navier Stokes and Einstein equations has been established, and it is known solutions to Einstein-Maxwell-Boltzmann exist and are unique, and it is known that Einstein equations in a wave guage with electromagnetic source with a lorentz gauge also have unique solutions that exist, what are the next steps? What are the good references on research for existence and uniqueness for einsten solutions without electromagnetic sources? Also, what does it mean physically that there are unique solutions to Einstein Field equations when electromagnetic sources are included?
For those struggling with the concept of existance and uniqueness, I think this post provides some good insight.