Models of PAWednesday, April 1, 20154:50 pmGC 6300

# The undecidability of lattice-ordered groups II

## Simon Heller

### GC CUNY

In this talk I will discuss conjugacy in the automorphism group of the rationals as a linearly ordered set, and then show that the integers, together with addition and multiplication, can be interpreted in Aut(Q), and thus that the theory of Aut(Q) is undecidable.

Posted by

on March 15th, 2015