Some model theory of SL(2,R)