We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Products in a Category with Only One Object

Authors: Richard Statman (Carnegie Mellon University)
Abstract: 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
(1) Given a finite set B of elements and an element F, is F a product of members of B?
(2) Is the submonoid generated by the finite set B infinite?
for certain fragments of the free Cartesian monoid. These fragments include the submonoid of right invertible elements and so our results apply to the Thompson-Higman groups.
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Subjects: Logic in Computer Science (cs.LO)
Journal reference: EPTCS 333, 2021, pp. 347-353
DOI: 10.4204/EPTCS.333.24
Cite as: arXiv:2101.10494 [cs.LO]
  (or arXiv:2101.10494v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Jan 2021 00:10:18 GMT (12kb)

Link back to: arXiv, form interface, contact.