Shrinking games and local formulas

13 years 4 months ago

Download www.math.wisc.edu

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

H. Jerome Keisler, Wafik Boulos Lotfallah

Real-time Traffic

APAL 2004 | Normal Form | Order Sentence | Quantifier Rank |

claim paper

» Disproof of the Neighborhood Conjecture with Implications to SAT

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2004
Where	APAL
Authors	H. Jerome Keisler, Wafik Boulos Lotfallah

Comments (0)

Sciweavers

Shrinking games and local formulas

APAL 2004 | Normal Form | Order Sentence | Quantifier Rank |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers