Towards a pseudoequational proof theory
From MaRDI portal
Publication:1729826
DOI10.4171/PM/2012zbMath1504.20057arXiv1708.09681WikidataQ128754047 ScholiaQ128754047MaRDI QIDQ1729826
Publication date: 28 February 2019
Published in: Portugaliae Mathematica. Nova Série (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1708.09681
semigroup; completeness; pseudoidentity; implicit signature; profinite monoid; reducible pseudovariety; syntactical proof
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
Related Items
Profinite topologies, Pseudovarieties of ordered completely regular semigroups, Locally countable pseudovarieties
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residual finiteness in completely regular semigroup varieties
- Minimal noncommutative varieties and power varieties
- Tameness of pseudovariety joins involving R.
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R
- On bases of identities for the \(\omega\)-variety generated by locally testable semigroups.
- The Birkhoff theorem for finite algebras
- Pointlike sets: the finest aperiodic cover of a finite semigroup
- Reducibility of pointlike problems
- A note on the finite basis and finite rank properties for pseudovarieties of semigroups
- Complete reducibility of systems of equations with respect to \(\mathbf R\).
- Equidivisible semigroups
- The pseudoidentity problem and reducibility for completely regular semigroups
- Pointlike reducibility of pseudovarieties of the form V ∗D
- McCammond’s normal forms for free aperiodic semigroups revisited
- On κ-reducibility of pseudovarieties of the form V ∗D
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- APERIODIC POINTLIKES AND BEYOND
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
- On finite simple semigroups
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- Equidivisible pseudovarieties of semigroups
- TAMENESS OF THE PSEUDOVARIETY LS1
- On Pointlike Sets and Joins of Pseudovarieties
- ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
- NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
- On finite monoids having only trivial subgroups
- SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS