Pages that link to "Item:Q2254518"
From MaRDI portal
The following pages link to Model-theoretic properties of \(\omega\)-automatic structures (Q2254518):
Displaying 7 items.
- Constructing \(\omega\)-stable structures: Model completeness. (Q1428040) (← links)
- Finite presentations of infinite structures: Automata and interpretations (Q1764419) (← links)
- o-minimal theories with an automorphism (Q1854669) (← links)
- A tetrachotomy for expansions of the real ordered additive group (Q2037136) (← links)
- The field of reals is not \(\omega\)-automatic (Q2904795) (← links)
- Cardinality and counting quantifiers on omega-automatic structures (Q4910735) (← links)
- First-order and counting theories of<i>ω</i>-automatic structures (Q5387304) (← links)