MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1049

Preprint Number 1049

Previous Next Preprint server


1049. A. M. W. Glass and John S. Wilson
The first-order theory of l-permutation groups
E-mail:

Submission date: 1 June 2016

Abstract:

Let (Ω, ≤) be a totally ordered set. We prove that if Aut(Ω, ≤) is transitive and satisfies the same first-order sentences as Aut(R,≤) (in the language of lattice-ordered groups) then Ω and R are isomorphic ordered sets. This improvement of a theorem of Gurevich and Holland is obtained as one of many consequences of a study of centralizers and coloured chains associated with certain transitive subgroups of Aut(Ω, ≤).

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1606.00312: pdf, ps.


Last updated: June 9 2016 11:17 Please send your corrections to: