#### Filter Results:

#### Publication Year

2002

2013

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

We study, from a constructive computational point of view, the techniques used to solve the conjugacy problem in the " generic " lattice-ordered group Aut(R). We use these techniques in order to show that for all f, g ∈ Aut(R), the equation xf x = g is effectively solvable in Aut(R).

The lexicographic power ∆ Γ of chains ∆ and Γ is, roughly, the Cartesian power γ∈Γ ∆, totally ordered lexicographically from the left. Here the focus is on certain powers in which either ∆ = R or Γ = R, with emphasis on when two such powers are isomorphic and on when ∆ Γ is 2-homogeneous. The main results are:

- ‹
- 1
- ›