A decidable expansion of $(\Gamma,+,F)$ with the independence property
From MaRDI portal
Publication:6449487
arXiv2309.00392MaRDI QIDQ6449487
Publication date: 1 September 2023
Formal languages and automata (68Q45) Automata sequences (11B85) Classification theory, stability, and related concepts in model theory (03C45)
This page was built for publication: A decidable expansion of $(\Gamma,+,F)$ with the independence property