Simon Heller November 29, 2013 Simon Heller GC CUNY Simon Heller has 9 talks in our database: Models of PA May 11, 2016 Automorphisms of models of Presuburger arithmetic V Models of PA May 4, 2016 Automorphisms of models of Presburger arithmetic IV Models of PA March 9, 2016 Automorphisms of models of Presburger arithmetic III Models of PA March 2, 2016 Automorphisms of models of Presburger arithmetic II Models of PA February 24, 2016 Automorphisms of models of Presburger arithmetic I Models of PA April 1, 2015 The undecidability of lattice-ordered groups II Models of PA March 11, 2015 The undecidability of lattice-ordered groups Models of PA May 12, 2014 Lattices of elementary substructures of arithmetically saturated models of PA Models of PA December 11, 2013 Equivalence relations in models of Peano arithmetic CUNYGraduate CenterNew York
