Pages that link to "Item:Q1921405"
From MaRDI portal
The following pages link to A Reiterman theorem for pseudovarieties of finite first-order structures (Q1921405):
Displaying 33 items.
- Two algebraic approaches to variants of the concatenation product (Q861283) (← links)
- Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts. (Q869222) (← links)
- A counterexample to a conjecture concerning concatenation hierarchies (Q990089) (← links)
- Varieties and pseudovarieties of ordered normal bands (Q1293379) (← links)
- Polynomial closure and unambiguous product (Q1361889) (← links)
- Series-parallel languages and the bounded-width property (Q1566734) (← links)
- Right cancellative and left ample monoids: quasivarieties and proper covers (Q1570355) (← links)
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages (Q1748357) (← links)
- Algebraic tools for the concatenation product. (Q1853747) (← links)
- Shuffle on positive varieties of languages (Q1884959) (← links)
- A topological shuttle between inequalities and pseudoinequalities (Q2031452) (← links)
- Varieties (Q2074217) (← links)
- Profinite topologies (Q2074218) (← links)
- Syntactic structures of regular languages (Q2333830) (← links)
- Pseudovarieties of ordered completely regular semigroups (Q2422183) (← links)
- Profinite Monads, Profinite Equations, and Reiterman’s Theorem (Q2811362) (← links)
- Theme and Variations on the Concatenation Product (Q3014930) (← links)
- Hyper-pseudoformulas and M-solid ordered pseudovarieties (Q3118237) (← links)
- A conjecture on the concatenation product (Q3147025) (← links)
- Duality and Equational Theory of Regular Languages (Q3519505) (← links)
- A Robust Class of Regular Languages (Q3599114) (← links)
- Irreducibility of certain pseudovarieties<sup>1</sup> (Q4395729) (← links)
- SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS (Q4531139) (← links)
- (Q4643960) (← links)
- Polynomial closure and unambiguous product (Q4645191) (← links)
- The globals of pseudovarieties of ordered semigroups containing<i>B</i><sub>2</sub>and an application to a problem proposed by Pin (Q4680724) (← links)
- POLYNOMIAL CLOSURE AND TOPOLOGY (Q4786264) (← links)
- PROFINITE METHODS IN SEMIGROUP THEORY (Q4786315) (← links)
- EQUATIONAL DESCRIPTIONS OF LANGUAGES (Q4923277) (← links)
- Representations of relatively free profinite semigroups, irreducibility, and order primitivity (Q5217888) (← links)
- On fixed points of the lower set operator (Q5246510) (← links)
- Stone duality, topological algebra, and recognition. (Q5964103) (← links)
- The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies (Q6195308) (← links)