Publication:3789541
From MaRDI portal
zbMath0646.03033MaRDI QIDQ3789541
Jouko Väänänen, Michał Krynicki
Publication date: 1987
definability; expressive power; Henkin quantifiers; Lindström quantifier; second order logic; function quantifiers; undefinability; partially ordered quantifier; back and forth games; monadic elementary equivalence
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory
03C95: Abstract model theory