APERIODIC POINTLIKES AND BEYOND-Reference-Cited by-同舟云学术

APERIODIC POINTLIKES AND BEYOND

Published:2010-03 Issue:02 Volume:20 Page:287-305
ISSN:0218-1967
Container-title:International Journal of Algebra and Computation
language:en
Short-container-title:Int. J. Algebra Comput.

Author:

HENCKELL KARSTEN¹,RHODES JOHN²,STEINBERG BENJAMIN³

Affiliation:

1. Department of Mathematics/Computer Science, New College of Florida, 5800 Bay Shore Road Sarasota, Florida 34243-2109, USA

2. Department of Mathematics, University of California at Berkeley, Berkeley CA 94720, USA

3. School of Mathematics and Statistics, Carleton University, 1125 Colonel By Drive, Ottawa, Ontario K1S 5B6, Canada

Abstract

We prove that if π is a recursive set of primes, then pointlike sets are decidable for the pseudovariety of semigroups whose subgroups are π-groups. In particular, when π is the empty set, we obtain Henckell's decidability of aperiodic pointlikes. Our proof, restricted to the case of aperiodic semigroups, is simpler than the original proof.

Publisher

World Scientific Pub Co Pte Lt

Subject

General Mathematics

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218196710005662

Reference19 articles.

1. Series in Algebra;Almeida J.,1994

2. HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS

3. INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES

4. The Algebraic Theory of Semigroups, Volume I

5. Pure and Applied Mathematics;Eilenberg S.,1974

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions;ACM Transactions on Computational Logic;2023-10-10

2. Degree 2 transformation semigroups as continuous maps on graphs: Complexity and examples;International Journal of Algebra and Computation;2023-02-16

3. Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29

4. Pointlike Sets and Separation: A Personal Perspective;Developments in Language Theory;2021

5. Pointlike sets for varieties determined by groups;Advances in Mathematics;2019-05