A generalization of Ehrenfeucht's game and some applications

DOI10.1007/BF02790755zbMath0253.02051MaRDI QIDQ2557698

Shlomo Vinner

Publication date: 1972

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

Mathematics Subject Classification ID

Model theory (03C99) Decidability of theories and sets of sentences (03B25) Other classical first-order model theory (03C68)

Related Items

The expressive power of Malitz quantifiers for linear orderings, Stationary Logic and Ordinals, Muller message-passing automata and logics, L(Q)-preservation theorems, The theorems of beth and Craig in abstract model theory II. Compact logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An application of games to the completeness problem for formalized theories
• Skolem-type normal forms for first-order languages with a generalized quantifier
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Generalized quantifiers and well orderings