A decidable expansion of (\Gamma,+,F) with the independence property

MaRDI QIDQ6449487zbMATH OpenFDO

Authors Françoise Point

Publication date 1 September 2023

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Classification theory, stability, and related concepts in model theory (03C45) Automata sequences (11B85)

This page was built for publication: A decidable expansion of $(\Gamma,+,F)$ with the independence property

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