AI Chat AI Image Generator AI Video Text to Speech

Products in a Category with Only One Object

01/26/2021

∙

by Richard Statman, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 07/24/2023

Domino Snake Problems on Groups

In this article we study domino snake problems on finitely generated gro...

0 Nathalie Aubrun, et al. ∙

research

∙ 09/21/2022

On the Existential Fragments of Local First-Order Logics with Data

We study first-order logic over unordered structures whose elements carr...

0 Benedikt Bollig, et al. ∙

research

∙ 04/27/2021

Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake

We present an implementation of the trimmed serendipity finite element f...

0 Justin Crum, et al. ∙

research

∙ 10/03/2021

The isomorphism problem for plain groups is in Σ_3^𝖯

Testing isomorphism of infinite groups is a classical topic, but from th...

0 Heiko Dietrich, et al. ∙

research

∙ 06/15/2022

Structure and Power: an emerging landscape

In this paper, we give an overview of some recent work on applying tools...

0 Samson Abramsky, et al. ∙

research

∙ 01/11/2019

Alternation diameter of a product object

We prove that every permutation of a Cartesian product of two finite set...

0 Ville Salo, et al. ∙

research

∙ 10/19/2020

Isotropy and Combination Problems

In a previous paper, the author and his collaborators studied the phenom...

0 Jason Parker, et al. ∙