Model companions of theories of graphs. - Kota Takeuchi; Yu-ichi Tanaka; Akito Tsuboi (Math. Log. Q., 2015)

A construction of real closed fields. - Yu-ichi Tanaka; Akito Tsuboi (Math. Log. Q., 2015)