1: \begin{abstract}

2: We consider certain decision problems for the free model of the theory of Cartesian monoids. We introduce a model of computation based on the notion of a single stack one-way PDA due to Ginsburg, Greibach and Harrison. This model allows us to solve problems such as:

3: \begin{enumerate}[label=(\arabic*)]

4: \item Given a finite set B of elements and an element F, is F a product of members of B?

5: \item Is the submonoid generated by the finite set B infinite?

6: \end{enumerate}

7: for certain fragments of the free Cartesian monoid. These fragments include the submonoid of

8: right invertible elements and so our results apply to the Thompson-Higman groups.

9: \end{abstract}

10: