Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by
DOI10.1007/S00012-020-00671-9zbMATH Open1484.03049OpenAlexW3045442483WikidataQ114232177 ScholiaQ114232177MaRDI QIDQ783293FDOQ783293
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
Recommendations
Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Ordinal and cardinal numbers (03E10)
Cites Work
- Finite automata and ordinals
- Title not available (Why is that?)
- Decision methods in the theory of ordinals
- Title not available (Why is that?)
- The equational theory of pomsets
- Free shuffle algebras in language varieties
- Title not available (Why is that?)
- The monadic second order theory of all countable ordinals
- Logic over words on denumerable ordinals
- Title not available (Why is that?)
- Automata, Semigroups and Recognizability of Words on Ordinals
- Title not available (Why is that?)
- A proof of Ehrenfeucht's conjecture
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
- The equational theory of regular words
- Long words: The theory of concatenation and \(\omega\)-power
- Systems of equations over a free monoid and Ehrenfeucht's conjecture
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words
- Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
- Title not available (Why is that?)
Cited In (1)
This page was built for publication: Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q783293)
