On the expressibility hierarchy of Magidor-Malitz quantifiers
From MaRDI portal
Publication:3322084
DOI10.2307/2273445zbMath0537.03026MaRDI QIDQ3322084
Saharon Shelah, Matatyahu Rubin
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273445
03C80: Logic with extra quantifiers and operators