Salma Kuhlmann: Recursively saturated real closed fields and models of Peano arithmetic External Video-URL https://www.youtube.com/watch?v=bJ29EinVaN4 Preview-Image Search Engine Exclude no
