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

arXiv2309.00392MaRDI QIDQ6449487FDOQ6449487

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)