ยง Mathematical logic: real closed fields