Wednesday, April 1, 20154:50 pmModels of PAGC 6300

The undecidability of lattice-ordered groups II

Simon Heller


Simon Heller

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.