An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications
From MaRDI portal
Publication:1235654
DOI10.2140/pjm.1977.72.293zbMath0351.90107MaRDI QIDQ1235654
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
Related Items
Definability hierarchies of generalized quantifiers, Beth's property fails in L<ω, The theorems of beth and Craig in abstract model theory II. Compact logics