Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)
type: Item
instance of: scholarly article
title: Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\)
zbMATH Open document ID: 1484.03049
author: Christian Choffrut
author: Serge Grigorieff
published in: Algebra Universalis
publication date: 2020-08-12T00:00:00Z
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03E10
Mathematics Subject Classification ID: 08B05
zbMATH DE Number: 7232924
zbMATH Keywords: ordinals
zbMATH Keywords: equational theory
Wikidata QID: Q114232177
MaRDI profile type: Publication
full work available at URL: s00012-020-00671-9
OpenAlex ID: W3045442483
cites work: A proof of Ehrenfeucht's conjecture
cites work: Finite automata and ordinals
cites work: Automata, Semigroups and Recognizability of Words on Ordinals
cites work: Logic over words on denumerable ordinals
cites work: Long words: The theory of concatenation and \(\omega\)-power
cites work: Free shuffle algebras in language varieties
cites work: The equational theory of regular words
cites work: Q5608007
cites work: Decision methods in the theory of ordinals
cites work: The monadic second order theory of all countable ordinals
cites work: Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
cites work: Systems of equations over a free monoid and Ehrenfeucht's conjecture
cites work: Q4218143
cites work: Q3910512
cites work: Axiomatizing the subsumption and subword preorders on finite and infinite partial words
cites work: The equational theory of pomsets
cites work: Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
cites work: Q3949052
cites work: Q5340125
cites work: Q3691083
DOI: 10.1007/S00012-020-00671-9
description: scientific article; zbMATH DE number 7232924