Pointlike sets and separation: a personal perspective

DOI10.1007/978-3-030-81508-0_3OpenAlexW3187077744MaRDI QIDQ832918FDOQ832918

Authors: Benjamin Steinberg 

Publication date: 25 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81508-0_3

zbMATH Keywords

separationpointlike sets

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• THE PRO-p TOPOLOGY OF A FREE GROUP AND ALGORITHMIC PROBLEMS IN SEMIGROUPS
• On algorithmic problems for joins of pseudovarieties
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finite monoids having only trivial subgroups
• Title not available (Why is that?)
• The \(\mathfrak q\)-theory of finite semigroups.
• Title not available (Why is that?)
• Finite semigroup varieties of the form V*D
• Separating regular languages with first-order logic
• On separation by locally testable and locally threshold testable languages
• Title not available (Why is that?)
• A constructive version of the Ribes-Zalesskiĭ product theorem.
• Finite state automata: a geometric approach
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
• On The Profinite Topology on a Free Group
• POLYNOMIAL CLOSURE AND TOPOLOGY
• INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY
• Categories as algebra: An essential ingredient in the theory of monoids
• Pointlike sets: the finest aperiodic cover of a finite semigroup
• Improved lower bounds for the complexity of finite semigroups
• Some algorithmic problems for pseudovarieties
• APERIODIC POINTLIKES AND BEYOND
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• On Pointlike Sets and Joins of Pseudovarieties
• Title not available (Why is that?)
• The Birkhoff theorem for finite algebras
• On the extension problem for partial permutations
• The pro-nilpotent group topology on a free group
• Prime decomposition theorem for arbitrary semigroups: General holonomy decomposition and synthesis theorem
• Title not available (Why is that?)
• Abelian pointlikes of a monoid
• Monoid kernels and profinite topologies on the free Abelian group
• The covering problem
• Complexity of finite semigroups
• ORDERED CATEGORIES AND ORDERED SEMIGROUPS
• Undecidability of the identity problem for finite semigroups
• PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
• SC-hyperdecidability of \(\mathbf R\)
• Tameness of pseudovariety joins involving R.
• Aperiodic homomorphisms and the concatenation product of recognizable sets
• Generic results for concatenation hierarchies
• Pointlike sets with respect to R and J.
• Pointlike sets for varieties determined by groups
• Homomorphism of groups
• Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes
• The pseudovariety $J$ is hyperdecidable
• POINTLIKE SETS, HYPERDECIDABILITY AND THE IDENTITY PROBLEM FOR FINITE SEMIGROUPS
• Separating regular languages with first-order logic
• ON THE DECIDABILITY OF THE MEMBERSHIP PROBLEM OF THE PSEUDOVARIETY J∨B
• Tameness of joins involving the pseudovariety of local semilattices.
• Adding Successor
• Separation for dot-depth two
• Covering and separation for logical fragments with modular predicates
• A delay theorem for pointlikes

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: Pointlike sets and separation: a personal perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832918)