An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications

DOI10.2140/PJM.1977.72.293zbMath0351.90107OpenAlexW2024263477MaRDI QIDQ1235654

Lee Badger

Publication date: 1977

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1977.72.293

Mathematics Subject Classification ID

Game theory (91A99) Formal languages and automata (68Q45)

Related Items (3)

Beth's property fails in L^<ω ⋮ Definability hierarchies of generalized quantifiers ⋮ The theorems of beth and Craig in abstract model theory II. Compact logics

This page was built for publication: An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications