The undecidability of lattice-ordered groups II

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

Simon Heller

The undecidability of lattice-ordered groups II

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