Shrinking games and local formulas

Gaifman's normal form theorem showed that every first order sentence of quantifier rank n is equivalent to a Boolean combination of "scattered local sentences", where

• Type: Journal
• Year: 2004
• Where: APAL
• Authors: H. Jerome Keisler, Wafik Boulos Lotfallah
• Keywords: APAL 2004, Normal Form, Order Sentence, Quantifier Rank