A Reiterman theorem for pseudovarieties of finite first-order structures

DOI10.1007/BF01243597zbMath0864.03024OpenAlexW2009062978MaRDI QIDQ1921405

Jean-Eric Pin, Pascal Weil

Publication date: 27 August 1996

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01243597

zbMATH Keywords

pseudoidentitiespseudovarietyfirst-order structuresfinitary direct productsfree profinite structuresrelational identities

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)

Related Items (33)

POLYNOMIAL CLOSURE AND TOPOLOGY ⋮ PROFINITE METHODS IN SEMIGROUP THEORY ⋮ SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS ⋮ Shuffle on positive varieties of languages ⋮ Polynomial closure and unambiguous product ⋮ Polynomial closure and unambiguous product ⋮ Two algebraic approaches to variants of the concatenation product ⋮ Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts. ⋮ Pseudovarieties of ordered completely regular semigroups ⋮ The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies ⋮ Duality and Equational Theory of Regular Languages ⋮ The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages ⋮ Theme and Variations on the Concatenation Product ⋮ EQUATIONAL DESCRIPTIONS OF LANGUAGES ⋮ Irreducibility of certain pseudovarieties¹ ⋮ The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin ⋮ A Robust Class of Regular Languages ⋮ A counterexample to a conjecture concerning concatenation hierarchies ⋮ A topological shuttle between inequalities and pseudoinequalities ⋮ Stone duality, topological algebra, and recognition. ⋮ Profinite Monads, Profinite Equations, and Reiterman’s Theorem ⋮ Representations of relatively free profinite semigroups, irreducibility, and order primitivity ⋮ Series-parallel languages and the bounded-width property ⋮ Right cancellative and left ample monoids: quasivarieties and proper covers ⋮ Varieties ⋮ Profinite topologies ⋮ Varieties and pseudovarieties of ordered normal bands ⋮ On fixed points of the lower set operator ⋮ Hyper-pseudoformulas and M-solid ordered pseudovarieties ⋮ Syntactic structures of regular languages ⋮ Algebraic tools for the concatenation product. ⋮ Unnamed Item ⋮ A conjecture on the concatenation product

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Birkhoff theorem for finite algebras
• Varieties of ordered algebras
• Polynomial closure and unambiguous product
• Free profinite semigroups over semidirect products
• Eilenberg's theorem for positive varieties of languages
• AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS

This page was built for publication: A Reiterman theorem for pseudovarieties of finite first-order structures