This is an old revision of the document!
Equality, Undecidable and Decidable FOL Classes
Continuation of lecture11.
More on Equality
Undecidable and Decidable Classes of FOL Formulas
Decidable Forall-Exists Class and its Use
Motivation: analysis of containers. Set language. Reduction to universal class. Finite models for universal class.