UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS

DOI10.1017/fms.2017.6zbMath1471.20045arXiv1405.4368OpenAlexW2963598209MaRDI QIDQ2971054

Henry Wilton, Martin R. Bridson

Publication date: 4 April 2017

Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.4368

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Free semigroups, generators and relations, word problems (20M05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Inverse semigroups (20M18) Partial algebras (08A55)

Related Items

The triviality problem for profinite completions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On inverse semigroup \(C^*\)-algebras and crossed products
• The triviality problem for profinite completions
• Inverse semigroups and combinatorial \(C^*\)-algebras
• Unsolvability of the universal theory of finite groups
• Topology of finite graphs
• Extending partial isomorphisms of graphs
• Groupoids, inverse semigroups, and their operator algebras
• Algorithmic problems for finite groups and finite \(0\)-simple semigroups
• The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups
• Tiling semigroups
• Finite state automata: A geometric approach
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• Pregroups and Bass-Serre theory
• FREE INVERSE MONOIDS AND GRAPH IMMERSIONS
• ON A GROUPOID CONSTRUCTION FOR ACTIONS OF CERTAIN INVERSE SEMIGROUPS
• The Structure of 0-E-unitary inverse semigroups I: the monoid case
• Regular representation of groupoid C* -algebras and applications to inverse semigroups
• THE GROUPS OF RICHARD THOMPSON AND COMPLEXITY
• CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA
• On the extension problem for partial permutations
• Extending partial automorphisms and the profinite topology on free groups
• A non-cyclic one-relator group all of whose finite quotients are cyclic
• Free Sums of Groups and Their Generalizations II