Pro-aperiodic monoids via saturated models

DOI10.4230/LIPICS.STACS.2017.39zbMATH Open1402.68126arXiv1609.07736MaRDI QIDQ4636638FDOQ4636638

Benjamin Steinberg, Samuel J. van Gool

Publication date: 19 April 2018

Abstract: We apply Stone duality and model theory to study the structure theory of free pro-aperiodic monoids. Stone duality implies that elements of the free pro-aperiodic monoid may be viewed as elementary equivalence classes of pseudofinite words. Model theory provides us with saturated words in each such class, i.e., words in which all possible factorizations are realized. We give several applications of this new approach, including a solution to the word problem for $omega$-terms that avoids using McCammond's normal forms, as well as new proofs and extensions of other structural results concerning free pro-aperiodic monoids.

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

Recommendations

• Pro-aperiodic monoids via saturated models
• McCammond’s normal forms for free aperiodic semigroups revisited
• The monadic theory of morphic infinite words and generalizations
• Defining Relations and the Algebraic Structure of the Group SL₂ over Integral Hamilton Quaternions
• Duality and recognition

zbMATH Keywords

Stone dualityaperiodic monoidssaturated modelsprofinite monoids

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Algebraic theory of languages and automata (68Q70) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Stone spaces (Boolean spaces) and related structures (06E15)

Cited In (6)

• A duality theoretic view on limits of finite structures
• The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
• Pro-aperiodic monoids via saturated models
• Title not available (Why is that?)
• Profinite topologies

This page was built for publication: Pro-aperiodic monoids via saturated models

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