Login / Signup

An Ehrenfeucht-Fraïssé game for Lω1ω.

Jouko VäänänenTong Wang
Published in: Math. Log. Q. (2013)
Keyphrases