Pages that link to "Item:Q2856638"
From MaRDI portal
The following pages link to An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\) (Q2856638):
Displaying 11 items.
- An infinite natural product (Q1790445) (← links)
- On elementary equivalence for fragments of language \(L_{\omega_ 1,\omega}\) (Q1901896) (← links)
- An infinite natural sum (Q2813680) (← links)
- Ehrenfeucht-Fraisse Games on Omega-Terms (Q2965499) (← links)
- (Q3078324) (← links)
- Model theory for infinite quantifier languages (Q3360169) (← links)
- More on the Ehrenfeucht–Fraisse game of length ω<sub>1</sub> (Q4790187) (← links)
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (Q5044763) (← links)
- Some transfinite natural sums (Q5109243) (← links)
- GAMES AND REFLECTION IN (Q5855749) (← links)
- On Carruth's axioms for natural sums and products (Q6055058) (← links)