Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)

DOI10.1007/s00012-020-00671-9zbMath1484.03049OpenAlexW3045442483WikidataQ114232177 ScholiaQ114232177MaRDI QIDQ783293

Serge Grigorieff, Christian Choffrut

Publication date: 12 August 2020

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

Full work available at URL: https://doi.org/10.1007/s00012-020-00671-9

zbMATH Keywords

equational theoryordinals

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Ordinal and cardinal numbers (03E10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free shuffle algebras in language varieties
• Systems of equations over a free monoid and Ehrenfeucht's conjecture
• A proof of Ehrenfeucht's conjecture
• Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
• The equational theory of pomsets
• The monadic second order theory of all countable ordinals
• Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
• Finite automata and ordinals
• Logic over words on denumerable ordinals
• Axiomatizing the subsumption and subword preorders on finite and infinite partial words
• The equational theory of regular words
• Automata, Semigroups and Recognizability of Words on Ordinals
• Decision methods in the theory of ordinals
• Long words: The theory of concatenation and \(\omega\)-power