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

Submission date: 1 June 2016


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: