Pages that link to "Item:Q4666943"

The following pages link to A local normal form theorem for infinitary logic with unary quantifiers (Q4666943):

Displaying 2 items.

• Game-based notions of locality over finite models (Q2478544) (← links)
• First-order and counting theories of<i>ω</i>-automatic structures (Q5387304) (← links)