Pages that link to "Item:Q3113778"
From MaRDI portal
The following pages link to Is Ramsey's theorem omega-automatic? (Q3113778):
Displaying 4 items.
- Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
- Model-theoretic properties of \(\omega\)-automatic structures (Q2254518) (← links)
- A hierarchy of tree-automatic structures (Q5388735) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)